Mercurial > urweb

comparison src/elaborate.sml @ 341:389399d65331

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud update form
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:03:55 -0400
parents 075b36dbb1a4
children b85e6ba56618
comparison
equal deleted inserted replaced
340:5ccb1c6412e4 341:389399d65331
1319 case E.projectDatatype env {str = str, sgn = sgn, field = x} of 1319 case E.projectDatatype env {str = str, sgn = sgn, field = x} of
1320 NONE => raise Fail "isTotal: Can't project datatype" 1320 NONE => raise Fail "isTotal: Can't project datatype"
1321 | SOME (_, cons) => dtype cons 1321 | SOME (_, cons) => dtype cons
1322 end 1322 end
1323 | L'.CError => (true, gs) 1323 | L'.CError => (true, gs)
1324 | _ => raise Fail "isTotal: Not a datatype" 1324 | c =>
1325 (prefaces "Not a datatype" [("c", p_con env (c, ErrorMsg.dummySpan))];
1326 raise Fail "isTotal: Not a datatype")
1325 end 1327 end
1326 | Record _ => (List.all (fn c2 => coverageImp (c, c2)) (enumerateCases t), []) 1328 | Record _ => (List.all (fn c2 => coverageImp (c, c2)) (enumerateCases t), [])
1327 in 1329 in
1328 isTotal (combinedCoverage ps, t) 1330 isTotal (combinedCoverage ps, t)
1329 end 1331 end