changeset 4149 | a6ccec4fd0c3 |
parent 4062 | fa2eb95b1b2d |
child 4221 | ed0f67fb458b |
--- a/TFL/tfl.sml Wed Nov 05 11:43:37 1997 +0100 +++ b/TFL/tfl.sml Wed Nov 05 11:45:51 1997 +0100 @@ -512,7 +512,7 @@ val vlist = #2(S.strip_comb (S.rhs body)) val plist = ListPair.zip (vlist, xlist) val args = map (fn qv => the (gen_assoc (op aconv) (plist, qv))) qvars - handle OPTION _ => error + handle OPTION => error "TFL fault [alpha_ex_unroll]: no correspondence" fun build ex [] = [] | build (_$rex) (v::rst) =