Mercurial > urweb
comparison demo/ref.ur @ 469:b393c2fc80f8
About to begin optimization of recursive transaction functions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 17:09:53 -0500 |
parents | c471345f5165 |
children | aa2290c32ce2 |
comparison
equal
deleted
inserted
replaced
468:4efab85405be | 469:b393c2fc80f8 |
---|---|
1 structure IR = RefFun.Make(struct | 1 structure IR = RefFun.Make(struct |
2 type t = int | 2 type t = int |
3 val inj = _ | |
4 end) | 3 end) |
5 | 4 |
6 structure SR = RefFun.Make(struct | 5 structure SR = RefFun.Make(struct |
7 type t = string | 6 type t = string |
8 val inj = _ | |
9 end) | 7 end) |
10 | 8 |
11 fun main () = | 9 fun main () = |
12 ir <- IR.new 3; | 10 ir <- IR.new 3; |
13 ir' <- IR.new 7; | 11 ir' <- IR.new 7; |