Mercurial > urweb
comparison src/reduce.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | 3b22c3c67f35 |
children | 6c2e565adca6 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
801 ((DPolicy e1, loc), | 801 ((DPolicy e1, loc), |
802 (polyC, | 802 (polyC, |
803 namedC, | 803 namedC, |
804 namedE)) | 804 namedE)) |
805 end | 805 end |
806 | DOnError _ => (d, st) | |
806 | 807 |
807 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file | 808 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file |
808 in | 809 in |
809 file | 810 file |
810 end | 811 end |