Mercurial > urweb
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) |