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 | 5d118aafe9b7cecdb429836b61bb9fdf6e8fc24e (patch) | |
| tree | 4f228e945fd003d5a15b6d45fb34f50b6a41722c /demo/refFun.ur | |
| parent | 794a3ad4e4713e74d2118d8f24b09ef4d35bd34f (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 = |