Mercurial > urweb

diff src/cjrize.sml @ 126:76a4d69719d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tagging (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:38:03 -0400
parents 91027db5a07c
children 78d59cf0a0cc
line wrap: on
line diff
--- a/src/cjrize.sml	Thu Jul 17 10:23:04 2008 -0400
+++ b/src/cjrize.sml	Thu Jul 17 10:38:03 2008 -0400
@@ -195,6 +195,7 @@
         in
             (SOME (d, loc), NONE, sm)
         end
+      | L.DValRec _ => raise Fail "Cjrize DValRec"
       | L.DExport (s, n, ts) =>
         let
             val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts