Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/demo/ref.ur	Thu Nov 06 15:52:13 2008 -0500
+++ b/demo/ref.ur	Thu Nov 06 17:09:53 2008 -0500
@@ -1,11 +1,9 @@
 structure IR = RefFun.Make(struct
                                type t = int
-                               val inj = _
                            end)
 
 structure SR = RefFun.Make(struct
                                type t = string
-                               val inj = _
                            end)
 
 fun main () =