summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 16:41:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 16:41:11 -0400
commit1a5acb4732536e4be288895eb89d139b19aebc94 (patch)
treee4856ac916556022e401a21e2ff722af1b472aa1 /demo
parenta3418cf924752accf2f68fc2673da2a661276ae5 (diff)
New implicit argument handling
Diffstat (limited to 'demo')
-rw-r--r--demo/listShop.ur8
-rw-r--r--demo/prose4
2 files changed, 8 insertions, 4 deletions
diff --git a/demo/listShop.ur b/demo/listShop.ur
index 0c23819f..be35d505 100644
--- a/demo/listShop.ur
+++ b/demo/listShop.ur
@@ -1,13 +1,13 @@
structure I = struct
type t = int
- val toString = show _
- val fromString = read _
+ val toString = show
+ val fromString = read
end
structure S = struct
type t = string
- val toString = show _
- val fromString = read _
+ val toString = show
+ val fromString = read
end
structure IL = ListFun.Make(I)
diff --git a/demo/prose b/demo/prose
index 388dc00c..72c9cb6f 100644
--- a/demo/prose
+++ b/demo/prose
@@ -7,3 +7,7 @@ hello.urp
link.urp
<p>This is my second favorite.</p>
+
+listShop.urp
+
+<p>This is my other favorite.</p>