From 4bc363c5ec2724b9d310e17181ca87517c98aa68 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 16:38:38 -0400
Subject: BatchG demo

---
 lib/ur/top.ur  | 2 +-
 lib/ur/top.urs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/ur')

diff --git a/lib/ur/top.ur b/lib/ur/top.ur
index f4adaba7..2ae424ab 100644
--- a/lib/ur/top.ur
+++ b/lib/ur/top.ur
@@ -7,7 +7,7 @@ con folder = K ==> fn r :: {K} =>
                       -> tf [] -> tf r
 
 structure Folder = struct
-    fun fold K (r ::: {K}) (fl : folder r) = fl
+    fun fold K (r :: {K}) (fl : folder r) = fl
 
     fun nil K (tf :: {K} -> Type)
             (f : nm :: Name -> v :: K -> r :: {K} -> tf r
diff --git a/lib/ur/top.urs b/lib/ur/top.urs
index bb85abd0..009a4ed5 100644
--- a/lib/ur/top.urs
+++ b/lib/ur/top.urs
@@ -3,7 +3,7 @@
 con folder :: K --> {K} -> Type
 
 structure Folder : sig
-    val fold : K --> r ::: {K} -> folder r
+    val fold : K --> r :: {K} -> folder r
                -> tf :: ({K} -> Type)
                -> (nm :: Name -> v :: K -> r :: {K} -> tf r
                    -> [[nm] ~ r] => tf ([nm = v] ++ r))
-- 
cgit v1.2.3