comparison src/monoize.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents acabf3935060
children a0f0823a54a0
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
3960 3960
3961 val (ps, fm) = policies (e, fm) 3961 val (ps, fm) = policies (e, fm)
3962 in 3962 in
3963 SOME (env, fm, ps) 3963 SOME (env, fm, ps)
3964 end 3964 end
3965 | L.DOnError n => SOME (env,
3966 fm,
3967 [(L'.DOnError n, loc)])
3965 end 3968 end
3966 3969
3967 datatype expungable = Client | Channel 3970 datatype expungable = Client | Channel
3968 3971
3969 fun monoize env file = 3972 fun monoize env file =