Mercurial > urweb

comparison src/core_print.sml @ 1544:a99b743a3087

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.mkMonad
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Aug 2011 15:23:01 -0400
parents b4480a56cab7
children 0577be31a435
comparison
equal deleted inserted replaced
1543:6f046b4bad24 1544:a99b743a3087
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2011, 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 *
279 p_list (p_exp env) es, 279 p_list (p_exp env) es,
280 string "))"] 280 string "))"]
281 | EApp (e1, e2) => parenIf par (box [p_exp' true env e1, 281 | EApp (e1, e2) => parenIf par (box [p_exp' true env e1,
282 space, 282 space,
283 p_exp' true env e2]) 283 p_exp' true env e2])
284 | EAbs (x, t, _, e) => parenIf par (box [string "fn", 284 | EAbs (x, t, _, e) => parenIf par (box [string "(fn",
285 space, 285 space,
286 string x, 286 string x,
287 space, 287 space,
288 string ":", 288 string ":",
289 space, 289 space,
290 p_con env t, 290 p_con env t,
291 space, 291 space,
292 string "=>", 292 string "=>",
293 space, 293 space,
294 p_exp (E.pushERel env x t) e]) 294 p_exp (E.pushERel env x t) e,
295 string ")"])
295 | ECApp (e, c) => parenIf par (box [p_exp env e, 296 | ECApp (e, c) => parenIf par (box [p_exp env e,
296 space, 297 space,
297 string "[", 298 string "[",
298 p_con env c, 299 p_con env c,
299 string "]"]) 300 string "]"])