summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-02 11:50:53 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-02 11:50:53 -0400
commit67d67ecae2fdb8708e6207db04880d89d43ba1cb (patch)
tree4cbf52d1978e57eba75d8fbbb9091394c67d0a6a /demo
parent97570513feb954bc3845f349700f1117fd50ca4b (diff)
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Diffstat (limited to 'demo')
-rw-r--r--demo/batchFun.ur1
-rw-r--r--demo/crud.ur1
2 files changed, 0 insertions, 2 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur
index 4243970a..560c0c55 100644
--- a/demo/batchFun.ur
+++ b/demo/batchFun.ur
@@ -34,7 +34,6 @@ functor Make(M : sig
val cols : colsMeta cols
end) = struct
- open constraints M
val t = M.tab
datatype list t = Nil | Cons of t * list t
diff --git a/demo/crud.ur b/demo/crud.ur
index baf157e5..72523a9d 100644
--- a/demo/crud.ur
+++ b/demo/crud.ur
@@ -42,7 +42,6 @@ functor Make(M : sig
val cols : colsMeta cols
end) = struct
- open constraints M
val tab = M.tab
sequence seq