From a2f61ea91042ac0b3835d3efc738ac380a1ee979 Mon Sep 17 00:00:00 2001 From: Martin Fredin Date: Sat, 29 Apr 2023 15:56:01 +0200 Subject: [PATCH] Fix missing pattern synonym --- src/TypeChecker/TypeCheckerIr.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/TypeChecker/TypeCheckerIr.hs b/src/TypeChecker/TypeCheckerIr.hs index 847c4a9..a956ff3 100644 --- a/src/TypeChecker/TypeCheckerIr.hs +++ b/src/TypeChecker/TypeCheckerIr.hs @@ -191,5 +191,6 @@ type Inj = Inj' Type type Exp = Exp' Type type ExpT = ExpT' Type type Id = Id' Type +pattern TVar' s = TVar (MkTVar s) pattern DBind' id vars expt = DBind (Bind id vars expt) pattern DData' typ injs = DData (Data typ injs)