Mercurial > urweb

comparison src/elab_print.sml @ 448:85819353a84f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First Unnest tests working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 15:58:55 -0400
parents b77863cd0be2
children f542bc3133dc
comparison
equal deleted inserted replaced
447:b77863cd0be2 448:85819353a84f
196 PConVar n => 196 PConVar n =>
197 ((if !debug then 197 ((if !debug then
198 string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n) 198 string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n)
199 else 199 else
200 string (#1 (E.lookupENamed env n))) 200 string (#1 (E.lookupENamed env n)))
201 handle E.UnboundRel _ => string ("UNBOUND_NAMED" ^ Int.toString n)) 201 handle E.UnboundNamed _ => string ("UNBOUND_NAMED" ^ Int.toString n))
202 | PConProj (m1, ms, x) => 202 | PConProj (m1, ms, x) =>
203 let 203 let
204 val m1x = #1 (E.lookupStrNamed env m1) 204 val m1x = #1 (E.lookupStrNamed env m1)
205 handle E.UnboundNamed _ => "UNBOUND_STR_" ^ Int.toString m1 205 handle E.UnboundNamed _ => "UNBOUND_STR_" ^ Int.toString m1
206 206
245 | ENamed n => 245 | ENamed n =>
246 ((if !debug then 246 ((if !debug then
247 string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n) 247 string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n)
248 else 248 else
249 string (#1 (E.lookupENamed env n))) 249 string (#1 (E.lookupENamed env n)))
250 handle E.UnboundRel _ => string ("UNBOUND_NAMED" ^ Int.toString n)) 250 handle E.UnboundNamed _ => string ("UNBOUND_NAMED" ^ Int.toString n))
251 | EModProj (m1, ms, x) => 251 | EModProj (m1, ms, x) =>
252 let 252 let
253 val m1x = #1 (E.lookupStrNamed env m1) 253 val m1x = #1 (E.lookupStrNamed env m1)
254 handle E.UnboundNamed _ => "UNBOUND_STR_" ^ Int.toString m1 254 handle E.UnboundNamed _ => "UNBOUND_STR_" ^ Int.toString m1
255 255