diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-27 08:27:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-27 08:27:45 -0400 |
| commit | 9cef944b9adec55fef65fc683b7b339191531916 (patch) | |
| tree | 4f228e945fd003d5a15b6d45fb34f50b6a41722c /demo/refFun.ur | |
| parent | 44a709f2f7844fd6c07b4b0979c8e264cd88225e (diff) | |
Remove need for '() <-' notation
Diffstat (limited to 'demo/refFun.ur')
| -rw-r--r-- | demo/refFun.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/refFun.ur b/demo/refFun.ur index a090b297..d648f31e 100644 --- a/demo/refFun.ur +++ b/demo/refFun.ur @@ -10,7 +10,7 @@ functor Make(M : sig fun new d = id <- nextval s; - () <- dml (INSERT INTO t (Id, Data) VALUES ({id}, {d})); + dml (INSERT INTO t (Id, Data) VALUES ({id}, {d})); return id fun read r = |