comparison 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
comparison
equal deleted inserted replaced
1183:9d3ccb8b39ac 1184:d6f0e972b706
572 end 572 end
573 | "include" => headers := relifyA arg :: !headers 573 | "include" => headers := relifyA arg :: !headers
574 | "script" => scripts := arg :: !scripts 574 | "script" => scripts := arg :: !scripts
575 | "clientToServer" => clientToServer := ffiS () :: !clientToServer 575 | "clientToServer" => clientToServer := ffiS () :: !clientToServer
576 | "safeGet" => safeGets := arg :: !safeGets 576 | "safeGet" => safeGets := arg :: !safeGets
577 | "effectful" => effectful := ffiS () :: !effectful
577 | "benignEffectful" => benignEffectful := ffiS () :: !benignEffectful 578 | "benignEffectful" => benignEffectful := ffiS () :: !benignEffectful
578 | "clientOnly" => clientOnly := ffiS () :: !clientOnly 579 | "clientOnly" => clientOnly := ffiS () :: !clientOnly
579 | "serverOnly" => serverOnly := ffiS () :: !serverOnly 580 | "serverOnly" => serverOnly := ffiS () :: !serverOnly
580 | "jsFunc" => jsFuncs := ffiM () :: !jsFuncs 581 | "jsFunc" => jsFuncs := ffiM () :: !jsFuncs
581 | "rewrite" => 582 | "rewrite" =>