Mercurial > urweb
comparison src/mono_print.sml @ 26:4ab19c19665f
Closure conversion
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 15:56:33 -0400 |
parents | 0a762c73824d |
children | 537db4ee89f4 |
comparison
equal
deleted
inserted
replaced
25:0a762c73824d | 26:4ab19c19665f |
---|---|
75 else | 75 else |
76 string (#1 (E.lookupENamed env n)) | 76 string (#1 (E.lookupENamed env n)) |
77 | EApp (e1, e2) => parenIf par (box [p_exp env e1, | 77 | EApp (e1, e2) => parenIf par (box [p_exp env e1, |
78 space, | 78 space, |
79 p_exp' true env e2]) | 79 p_exp' true env e2]) |
80 | EAbs (x, t, e) => parenIf par (box [string "fn", | 80 | EAbs (x, t, _, e) => parenIf par (box [string "fn", |
81 space, | 81 space, |
82 string x, | 82 string x, |
83 space, | 83 space, |
84 string ":", | 84 string ":", |
85 space, | 85 space, |
86 p_typ env t, | 86 p_typ env t, |
87 space, | 87 space, |
88 string "=>", | 88 string "=>", |
89 space, | 89 space, |
90 p_exp (E.pushERel env x t) e]) | 90 p_exp (E.pushERel env x t) e]) |
91 | 91 |
92 | ERecord xes => box [string "{", | 92 | ERecord xes => box [string "{", |
93 p_list (fn (x, e) => | 93 p_list (fn (x, e) => |
94 box [string x, | 94 box [string x, |
95 space, | 95 space, |