Mercurial > urweb

comparison src/reduce.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents 216e92b39fc1
children 32784d27b5bc
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
1 (* Copyright (c) 2008-2011, Adam Chlipala 1 (* Copyright (c) 2008-2011, 2013, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
802 exp (KnownE e1 :: env) e2 802 exp (KnownE e1 :: env) e2
803 else 803 else
804 (ELet (x, t, e1', exp (UnknownE :: env) e2), loc) 804 (ELet (x, t, e1', exp (UnknownE :: env) e2), loc)
805 end 805 end
806 806
807 | EServerCall (n, es, t) => (EServerCall (n, map (exp env) es, con env t), loc) 807 | EServerCall (n, es, t, fm) => (EServerCall (n, map (exp env) es, con env t, fm), loc)
808 in 808 in
809 (*if dangling (edepth' (deKnown env)) r then 809 (*if dangling (edepth' (deKnown env)) r then
810 (Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all), 810 (Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all),
811 ("r", CorePrint.p_exp CoreEnv.empty r)]; 811 ("r", CorePrint.p_exp CoreEnv.empty r)];
812 raise Fail "!!") 812 raise Fail "!!")