Mercurial > urweb

comparison src/elaborate.sml @ 33:535c324f0b35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Matching structures in signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:41:32 -0400
parents 0ff8c2728634
children 44b5405e74c7
comparison
equal deleted inserted replaced
32:0ff8c2728634 33:535c324f0b35
1083 in 1083 in
1084 SOME env 1084 SOME env
1085 end 1085 end
1086 | _ => NONE) 1086 | _ => NONE)
1087 1087
1088 | _ => raise Fail "Not ready for more sig matching" 1088 | L'.SgiStr (x, n2, sgn2) =>
1089 seek (fn sgi1All as (sgi1, _) =>
1090 case sgi1 of
1091 L'.SgiStr (x, n1, sgn1) =>
1092 (subSgn env sgn1 sgn2;
1093 SOME env)
1094 | _ => NONE)
1095 (* Add type equations between structures here some day. *)
1089 end 1096 end
1090 in 1097 in
1091 ignore (foldl folder env sgis2) 1098 ignore (foldl folder env sgis2)
1092 end 1099 end
1093 1100