Mercurial > urweb

comparison src/elaborate.sml @ 1395:f53ec50097a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix type-checking of views to match change to sql_query type
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jan 2011 15:06:33 -0500
parents dd99e1702432
children 7d963b8019e6
comparison
equal deleted inserted replaced
1394:d328983dc5a6 1395:f53ec50097a5
3924 val cv = (L'.CApp (cv, fs), loc) 3924 val cv = (L'.CApp (cv, fs), loc)
3925 val (env', n) = E.pushENamed env x cv 3925 val (env', n) = E.pushENamed env x cv
3926 3926
3927 val ct = queryOf () 3927 val ct = queryOf ()
3928 val ct = (L'.CApp (ct, (L'.CRecord ((L'.KRecord (L'.KType, loc), loc), []), loc)), loc) 3928 val ct = (L'.CApp (ct, (L'.CRecord ((L'.KRecord (L'.KType, loc), loc), []), loc)), loc)
3929 val ct = (L'.CApp (ct, (L'.CRecord ((L'.KRecord (L'.KType, loc), loc), []), loc)), loc)
3929 val ct = (L'.CApp (ct, ts), loc) 3930 val ct = (L'.CApp (ct, ts), loc)
3930 val ct = (L'.CApp (ct, fs), loc) 3931 val ct = (L'.CApp (ct, fs), loc)
3931 in 3932 in
3932 checkCon env e' t ct; 3933 checkCon env e' t ct;
3933 ([(L'.DView (!basis_r, x, n, e', fs), loc)], 3934 ([(L'.DView (!basis_r, x, n, e', fs), loc)],