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))