From 4bbf3a3afe9aad83b789e5429060214836958e6b Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Mon, 26 Feb 2024 14:59:37 -0700 Subject: [PATCH] fromString for Fix --- src/Core/Syntax.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Core/Syntax.hs b/src/Core/Syntax.hs index 841cdee..714aa4d 100644 --- 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