Mercurial > urweb

changeset 1184:d6f0e972b706

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
files src/compiler.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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