summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-09 11:12:34 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-09 11:12:34 -0400
commit4c8297c1f381599333e998da585f4ef5ac24383b (patch)
treeafab9c1f2b021be1afaaac75f504977531d52f6b /src
parent005fbe2dd67c6ec77282179032f94ffa6cb7788c (diff)
Mark current as effectful; add List functions
Diffstat (limited to 'src')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index b1c5948f..9c7b1175 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -83,6 +83,7 @@ val effectfulBase = basis ["dml",
"new_client_source",
"get_client_source",
"set_client_source",
+ "current",
"alert",
"new_channel",
"send",