Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix pattern types

Browse source
This commit is contained in:
Martin Fredin 2023-04-27 11:43:56 +02:00
parent fd418faa5f
commit fc306d5f25
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/TypeChecker/TypeCheckerIr.hs
View file

@ -37,11 +37,11 @@ newtype Ident = Ident String
deriving (C.Eq, C.Ord, C.Show, C.Read, IsString)
data Pattern' t
= PVar (Id' t) -- TODO should be Ident
| PLit (Lit, t) -- TODO should be Lit
= PVar Ident
| PLit Lit
| PCatch
| PEnum Ident
| PInj Ident [Pattern' t] -- TODO should be (Pattern' t, t)
| PInj Ident [(Pattern' t, t)]
deriving (C.Eq, C.Ord, C.Show, C.Read, Functor)
data Exp' t