Mercurial > urweb
comparison src/mono_print.sml @ 1734:d2b3fada532e
Fix generation of normal datatypes from polymorphic variants
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Apr 2012 20:37:45 -0400 |
parents | 0577be31a435 |
children | c1e3805e604e |
comparison
equal
deleted
inserted
replaced
1733:ab24a7cb2a64 | 1734:d2b3fada532e |
---|---|
398 | 398 |
399 fun p_datatype env (x, n, cons) = | 399 fun p_datatype env (x, n, cons) = |
400 let | 400 let |
401 val env = E.pushDatatype env x n cons | 401 val env = E.pushDatatype env x n cons |
402 in | 402 in |
403 box [string x, | 403 box [if !debug then (string (x ^ "__" ^ Int.toString n)) |
404 else string x, | |
404 space, | 405 space, |
405 string "=", | 406 string "=", |
406 space, | 407 space, |
407 p_list_sep (box [space, string "|", space]) | 408 p_list_sep (box [space, string "|", space]) |
408 (fn (x, n, NONE) => if !debug then (string (x ^ "__" ^ Int.toString n)) | 409 (fn (x, n, NONE) => if !debug then (string (x ^ "__" ^ Int.toString n)) |