comparison src/prepare.sml @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 322c8620bbdf
children 4efab85405be
comparison
equal deleted inserted replaced
462:21bb5bbba2e9 463:bb27c7efcd90
189 | SOME (ss, n) => 189 | SOME (ss, n) =>
190 ((ENextval {seq = seq, prepared = SOME (#2 sns)}, loc), 190 ((ENextval {seq = seq, prepared = SOME (#2 sns)}, loc),
191 ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)) 191 ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1))
192 end 192 end
193 193
194 | EUnurlify (e, t) =>
195 let
196 val (e, sns) = prepExp (e, sns)
197 in
198 ((EUnurlify (e, t), loc), sns)
199 end
200
194 fun prepDecl (d as (_, loc), sns) = 201 fun prepDecl (d as (_, loc), sns) =
195 case #1 d of 202 case #1 d of
196 DStruct _ => (d, sns) 203 DStruct _ => (d, sns)
197 | DDatatype _ => (d, sns) 204 | DDatatype _ => (d, sns)
198 | DDatatypeForward _ => (d, sns) 205 | DDatatypeForward _ => (d, sns)