Mercurial > urweb

comparison src/elab_print.sml @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 38bf996e1c2e
children 14b533dbe6cc
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
89 | CNamed n => string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n) 89 | CNamed n => string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n)
90 90
91 | CApp (c1, c2) => parenIf par (box [p_con env c1, 91 | CApp (c1, c2) => parenIf par (box [p_con env c1,
92 space, 92 space,
93 p_con' true env c2]) 93 p_con' true env c2])
94 | CAbs (e, x, k, c) => parenIf par (box [string "fn", 94 | CAbs (x, k, c) => parenIf par (box [string "fn",
95 space, 95 space,
96 string x, 96 string x,
97 space, 97 space,
98 p_explicitness e, 98 string "::",
99 space, 99 space,
100 p_kind k, 100 p_kind k,
101 space, 101 space,
102 string "=>", 102 string "=>",
103 space, 103 space,
104 p_con (E.pushCRel env x k) c]) 104 p_con (E.pushCRel env x k) c])
105 105
106 | CName s => box [string "#", string s] 106 | CName s => box [string "#", string s]
107 107
108 | CRecord (k, xcs) => parenIf par (box [string "[", 108 | CRecord (k, xcs) => parenIf par (box [string "[",
109 p_list (fn (x, c) => 109 p_list (fn (x, c) =>