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