Mercurial > urweb
diff src/mono_print.sml @ 186:88d46972de53
bool in Basis
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Aug 2008 18:53:20 -0400 |
parents | 19ee24bffbc0 |
children | 8e9f97508f0d |
line wrap: on
line diff
--- a/src/mono_print.sml Sun Aug 03 17:57:47 2008 -0400 +++ b/src/mono_print.sml Sun Aug 03 18:53:20 2008 -0400 @@ -80,7 +80,7 @@ fun p_patCon env pc = case pc of PConVar n => p_con_named env n - | PConFfi {mod = m, con, ...} => box [string "FFI(", + | PConFfi {mod = m, con, ...} => box [string "FFIC(", string m, string ".", string con,