Mercurial > urweb
diff src/explify.sml @ 2010:403f0cc65b9c
New lessSafeFfi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 19:19:09 -0400 |
parents | 1aa9629e3a4c |
children | 22117edf8fd3 |
line wrap: on
line diff
--- a/src/explify.sml Fri May 02 17:16:02 2014 -0400 +++ b/src/explify.sml Fri May 02 19:19:09 2014 -0400 @@ -198,6 +198,7 @@ | L.DTask (e1, e2) => SOME (L'.DTask (explifyExp e1, explifyExp e2), loc) | L.DPolicy e1 => SOME (L'.DPolicy (explifyExp e1), loc) | L.DOnError v => SOME (L'.DOnError v, loc) + | L.DFfi (x, n, modes, t) => SOME (L'.DFfi (x, n, modes, explifyCon t), loc) and explifyStr (str, loc) = case str of