Mercurial > urweb

comparison src/elaborate.sml @ 152:67ab26888839

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
textarea
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:41:53 -0400
parents 7420fa18d657
children cfe6f9db74aa
comparison
equal deleted inserted replaced
151:6c14e78feb6d 152:67ab26888839
1913 (((L'.CRecord (_, []), _), []))) => 1913 (((L'.CRecord (_, []), _), []))) =>
1914 (case (hnormCon (env, denv) tf) of 1914 (case (hnormCon (env, denv) tf) of
1915 ((L'.CApp (tf, arg1), _), []) => 1915 ((L'.CApp (tf, arg1), _), []) =>
1916 (case (hnormCon (env, denv) tf, 1916 (case (hnormCon (env, denv) tf,
1917 hnormCon (env, denv) domR, 1917 hnormCon (env, denv) domR,
1918 hnormCon (env, denv) arg1,
1918 hnormCon (env, denv) arg2) of 1919 hnormCon (env, denv) arg2) of
1919 ((tf, []), (domR, []), 1920 ((tf, []), (domR, []), (arg1, []),
1920 ((L'.CRecord (_, []), _), [])) => 1921 ((L'.CRecord (_, []), _), [])) =>
1921 let 1922 let
1922 val t = (L'.CApp (tf, arg1), loc) 1923 val t = (L'.CApp (tf, arg1), loc)
1923 val t = (L'.CApp (t, arg2), loc) 1924 val t = (L'.CApp (t, arg2), loc)
1924 val t = (L'.CApp (t, arg3), loc) 1925 val t = (L'.CApp (t, arg3), loc)