summaryrefslogtreecommitdiff
path: root/src/GF/Infra/Print.hs
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2007-09-25 05:55:49 +0000
committerkr.angelov <kr.angelov@gmail.com>2007-09-25 05:55:49 +0000
commit286851b7c0628ec9aaecf6d41bd56d13218f53cd (patch)
tree62c34d6dabd6d1b7d75ec25dcae734a63c23b0f8 /src/GF/Infra/Print.hs
parentc6c7557b13091116f66884c0d6105dca0fd33df3 (diff)
remove the dependency to GF.Data.Operations from GF Embed API
Diffstat (limited to 'src/GF/Infra/Print.hs')
-rw-r--r--src/GF/Infra/Print.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Infra/Print.hs b/src/GF/Infra/Print.hs
index c4a310c29..17f2c2188 100644
--- a/src/GF/Infra/Print.hs
+++ b/src/GF/Infra/Print.hs
@@ -121,4 +121,7 @@ instance Print CFFun where
instance Print Exp where
prt = P.printTree
+instance Print a => Print (Err a) where
+ prt (Ok a) = prt a
+ prt (Bad str) = str