Mercurial > urweb
diff src/compiler.sml @ 1184:d6f0e972b706
Re-add accidentally-removed parsing case for 'effectful'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Mar 2010 18:43:29 -0500 |
parents | 9d3ccb8b39ac |
children | 338be96f8533 |
line wrap: on
line diff
--- a/src/compiler.sml Tue Mar 09 18:28:44 2010 -0500 +++ b/src/compiler.sml Tue Mar 09 18:43:29 2010 -0500 @@ -574,6 +574,7 @@ | "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