Mercurial > urweb

comparison src/mono_reduce.sml @ 1962:16c219c74426

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a soundness bug in purity analysis (mono_reduce)
author Adam Chlipala <adam@chlipala.net>
date Sun, 19 Jan 2014 13:51:26 -0500
parents 98895243b5b6
children fec7beec96c7
comparison
equal deleted inserted replaced
1961:0652f295e0fa 1962:16c219c74426
63 let 63 let
64 val (_, t, _) = E.lookupERel env n 64 val (_, t, _) = E.lookupERel env n
65 in 65 in
66 simpleTypeImpure tsyms t 66 simpleTypeImpure tsyms t
67 end 67 end
68 | EApp _ => true
68 | _ => false, 69 | _ => false,
69 bind = fn (env, b) => 70 bind = fn (env, b) =>
70 case b of 71 case b of
71 U.Exp.RelE (x, t) => E.pushERel env x t NONE 72 U.Exp.RelE (x, t) => E.pushERel env x t NONE
72 | _ => env} 73 | _ => env}