comparison src/prepare.sml @ 1112:7a31e0cf25e9

Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 0657e5adc938
children acabf3935060
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
279 val (e2, st) = prepExp (e2, st) 279 val (e2, st) = prepExp (e2, st)
280 in 280 in
281 ((ESetval {seq = e1, count = e2}, loc), st) 281 ((ESetval {seq = e1, count = e2}, loc), st)
282 end 282 end
283 283
284 | EUnurlify (e, t) => 284 | EUnurlify (e, t, b) =>
285 let 285 let
286 val (e, st) = prepExp (e, st) 286 val (e, st) = prepExp (e, st)
287 in 287 in
288 ((EUnurlify (e, t), loc), st) 288 ((EUnurlify (e, t, b), loc), st)
289 end 289 end
290 290
291 fun prepDecl (d as (_, loc), st) = 291 fun prepDecl (d as (_, loc), st) =
292 case #1 d of 292 case #1 d of
293 DStruct _ => (d, st) 293 DStruct _ => (d, st)