From fc306d5f25be99c90b001ac2a47beeb5cb62752f Mon Sep 17 00:00:00 2001 From: Martin Fredin Date: Thu, 27 Apr 2023 11:43:56 +0200 Subject: [PATCH] Fix pattern types --- src/TypeChecker/TypeCheckerIr.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/TypeChecker/TypeCheckerIr.hs b/src/TypeChecker/TypeCheckerIr.hs index 1ae41ab..e898ebe 100644 --- a/src/TypeChecker/TypeCheckerIr.hs +++ b/src/TypeChecker/TypeCheckerIr.hs @@ -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