From 1a5acb4732536e4be288895eb89d139b19aebc94 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 21 Oct 2008 16:41:11 -0400
Subject: New implicit argument handling

---
 demo/listShop.ur | 8 ++++----
 demo/prose       | 4 ++++
 2 files changed, 8 insertions(+), 4 deletions(-)

(limited to 'demo')

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>
-- 
cgit v1.2.3