From 521ba1a43e3d75deec4dcf2eafdf7e4e7b72b15e Mon Sep 17 00:00:00 2001
From: Sergey Mironov <grrwlf@gmail.com>
Date: Mon, 7 Oct 2013 14:08:10 +0400
Subject: Add show instance for 'id' type

---
 src/monoize.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index ad53cf18..2b604325 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1267,6 +1267,12 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
             in
                 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
             end
+          | L.EFfi ("Basis", "show_id") =>
+            let
+                val s = (L'.TFfi ("Basis", "string"), loc)
+            in
+                ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
+            end
           | L.EFfi ("Basis", "show_char") =>
             ((L'.EFfi ("Basis", "charToString"), loc), fm)
           | L.EFfi ("Basis", "show_bool") =>
-- 
cgit v1.2.3