Add colorable and decorable.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Real.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Real.hs b/symantic-lib/Language/Symantic/Lib/Real.hs
index 70f684a41da3f689c8e65d3a43cf60f8e0ff9adf..0edd68e36a2a41bb224a031a70015157fdecb67e 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Real.hs
+++ b/symantic-lib/Language/Symantic/Lib/Real.hs
@@ -31,6 +31,8 @@ instance (Sym_Real r1, Sym_Real r2) => Sym_Real (Dup r1 r2) where
 instance (Sym_Real term, Sym_Lambda term) => Sym_Real (BetaT term)
 
 -- Typing
+instance NameTyOf Real where
+       nameTyOf _c = ["Real"] `Mod` "Real"
 instance FixityOf Real
 instance ClassInstancesFor Real
 instance TypeInstancesFor Real