From 0351ba637e206cdf397c85e3cfe2cfcf52aa4c9d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 24 Feb 2009 15:12:13 -0500 Subject: Demos compile again, with manual folders --- demo/metaform.ur | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'demo/metaform.ur') diff --git a/demo/metaform.ur b/demo/metaform.ur index ae1197f4..0e2e5ee3 100644 --- a/demo/metaform.ur +++ b/demo/metaform.ur @@ -1,5 +1,6 @@ functor Make (M : sig con fs :: {Unit} + val fl : folder fs val names : $(mapUT string fs) end) = struct @@ -8,7 +9,7 @@ functor Make (M : sig (fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name value =>

{[name]} = {[value]}

) - [M.fs] M.names values} + [M.fs] M.fl M.names values} fun main () = return @@ -20,7 +21,7 @@ functor Make (M : sig {useMore acc} ) - [M.fs] M.names} + [M.fs] M.fl M.names} -- cgit v1.2.3