diff options
| author | LLLL Colonq <llll@colonq> | 2024-01-16 13:16:52 -0500 |
|---|---|---|
| committer | LLLL Colonq <llll@colonq> | 2024-01-16 13:16:52 -0500 |
| commit | 7a67a4ce8c207842d14414ed16587fe05cedafcc (patch) | |
| tree | 5fa559d2b466df14a50f8933c4d53cb0919e403c /fig-bless/src/Fig/Bless.hs | |
| parent | d91c6bb446d0284f096cc6cfc9a7f9ac7f8afb1e (diff) | |
Support type variables in typechecker
Diffstat (limited to 'fig-bless/src/Fig/Bless.hs')
| -rw-r--r-- | fig-bless/src/Fig/Bless.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/fig-bless/src/Fig/Bless.hs b/fig-bless/src/Fig/Bless.hs index 0816a98..1005a49 100644 --- a/fig-bless/src/Fig/Bless.hs +++ b/fig-bless/src/Fig/Bless.hs @@ -2,9 +2,13 @@ module Fig.Bless ( module Fig.Bless.Syntax , module Fig.Bless.Runtime , module Fig.Bless.Builtins + , module Fig.Bless.Types + , module Fig.Bless.TypeChecker ) where import Fig.Bless.Syntax import Fig.Bless.Runtime import Fig.Bless.Builtins +import Fig.Bless.Types +import Fig.Bless.TypeChecker |