Mercurial > urweb

comparison demo/ref.ur @ 469:b393c2fc80f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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;