summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-03-09 18:43:29 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-03-09 18:43:29 -0500
commita00e028f21afd87ef9dd3ed143f52fe648275d45 (patch)
tree786f2220bfb52b3f7b682ab3b1093cbdcae2886d /src
parentba73bb0f4dc54d67c55f0d8c74ebe8ac62344217 (diff)
Re-add accidentally-removed parsing case for 'effectful'
Diffstat (limited to 'src')
-rw-r--r--src/compiler.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 5a97f13d..f8c0cc34 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -574,6 +574,7 @@ fun parseUrp' accLibs fname =
| "script" => scripts := arg :: !scripts
| "clientToServer" => clientToServer := ffiS () :: !clientToServer
| "safeGet" => safeGets := arg :: !safeGets
+ | "effectful" => effectful := ffiS () :: !effectful
| "benignEffectful" => benignEffectful := ffiS () :: !benignEffectful
| "clientOnly" => clientOnly := ffiS () :: !clientOnly
| "serverOnly" => serverOnly := ffiS () :: !serverOnly