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