From f4799004f028094c775c824409bac4e3590b2421 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 28 May 2009 10:35:25 -0400 Subject: Demo compiles with pattern-matching-fu --- demo/metaform.ur | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'demo/metaform.ur') diff --git a/demo/metaform.ur b/demo/metaform.ur index 26462215..54bf0fc7 100644 --- a/demo/metaform.ur +++ b/demo/metaform.ur @@ -6,7 +6,7 @@ functor Make (M : sig fun handler values = return {foldURX2 [string] [string] [body] - (fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name value => + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value =>
  • {[name]} = {[value]}
    • ) [M.fs] M.fl M.names values} @@ -15,7 +15,7 @@ functor Make (M : sig fun main () = return
    {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] - (fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name (acc : xml form [] (mapU string rest)) =>
  • {[name]}:
    • {useMore acc} -- cgit v1.2.3