From 7a67a4ce8c207842d14414ed16587fe05cedafcc Mon Sep 17 00:00:00 2001 From: LLLL Colonq Date: Tue, 16 Jan 2024 13:16:52 -0500 Subject: Support type variables in typechecker --- fig-bless/fig-bless.cabal | 1 + 1 file changed, 1 insertion(+) (limited to 'fig-bless/fig-bless.cabal') diff --git a/fig-bless/fig-bless.cabal b/fig-bless/fig-bless.cabal index 9fdf11e..a4fd35e 100644 --- a/fig-bless/fig-bless.cabal +++ b/fig-bless/fig-bless.cabal @@ -44,6 +44,7 @@ library Fig.Bless Fig.Bless.Syntax Fig.Bless.Types + Fig.Bless.TypeChecker Fig.Bless.Runtime Fig.Bless.Builtins -- cgit v1.2.3