fromString for Fix

2024-02-26 14:59:37 -07:00
parent e6a5665d4a
commit 03963832e0
1 changed files with 3 additions and 0 deletions
--- a/src/Core/Syntax.hs
+++ b/src/Core/Syntax.hs
@@ -88,6 +88,9 @@ type Expr b = Fix (ExprF b)
 instance IsString (ExprF b a) where
    fromString = VarF . fromString

+instance (IsString (f (Fix f))) => IsString (Fix f) where
+    fromString = Fix . fromString
+
 data Type = TyFun
          | TyVar Name
          | TyApp Type Type