From 6f522d34ff2191461c48b84b9045ecd7875bcc71 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Wed, 20 Dec 2023 14:12:45 -0700
Subject: [PATCH] TyInt -> TyCon "Int#"

---
 src/Core/Syntax.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Core/Syntax.hs b/src/Core/Syntax.hs
index 1e99723..24d13b9 100644
--- a/src/Core/Syntax.hs
+++ b/src/Core/Syntax.hs
@@ -7,6 +7,7 @@ Description : Core ASTs and the like
 module Core.Syntax
     ( Expr(..)
     , Type(..)
+    , pattern TyInt
     , Lit(..)
     , pattern (:$)
     , pattern (:@)
@@ -54,14 +55,14 @@ data Expr b = Var Name
 
 deriving instance (Eq b) => Eq (Expr b)
 
-data Type = TyInt
-          | TyFun
+data Type = TyFun
           | TyVar Name
           | TyApp Type Type
           | TyCon Name
           deriving (Show, Read, Lift, Eq)
 
-type TyCon = Name
+pattern TyInt :: Type
+pattern TyInt = TyCon "Int#"
 
 infixl 2 :$
 pattern (:$) :: Expr b -> Expr b -> Expr b