msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

TyInt -> TyCon "Int#"

Browse Source
This commit is contained in:
crumbtoo
2023-12-20 14:12:45 -07:00
parent d954734660
commit 6f522d34ff
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/Core/Syntax.hs
View File

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