comparison src/unnest.sml @ 2206:c1a62ce47083

Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 403f0cc65b9c
children 1091227f535a
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
450 | DCookie _ => default () 450 | DCookie _ => default ()
451 | DStyle _ => default () 451 | DStyle _ => default ()
452 | DTask _ => explore () 452 | DTask _ => explore ()
453 | DPolicy _ => explore () 453 | DPolicy _ => explore ()
454 | DOnError _ => default () 454 | DOnError _ => default ()
455 | DFfi _ => default ()
455 end 456 end
456 457
457 and doStr (all as (str, loc), st) = 458 and doStr (all as (str, loc), st) =
458 let 459 let
459 fun default () = (all, st) 460 fun default () = (all, st)