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
commit0f7b6944108ad94e899c41033eef15917ed1065c (patch)
tree4cbf52d1978e57eba75d8fbbb9091394c67d0a6a /demo
parentbecba29a1753db244749e87ba13eebd1be401ef6 (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