From ac6f826141b384d95bdedbf6e563a76c5f312534 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Mon, 18 Dec 2023 15:30:39 -0700 Subject: [PATCH] small --- src/Core/HindleyMilner.hs | 2 +- src/Core/Syntax.hs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Core/HindleyMilner.hs b/src/Core/HindleyMilner.hs index 0897ece..e159d8d 100644 --- a/src/Core/HindleyMilner.hs +++ b/src/Core/HindleyMilner.hs @@ -108,7 +108,7 @@ addConstraint t u = _1 %= ((t, u):) -- | Unify a list of constraints, meaning that pairs between types are turned -- into pairs of type variables and types. A useful thought model is to think of --- it like solving an equation such that the unknown variable is the left-hand +-- it as solving an equation such that the unknown variable is the left-hand -- side. unify :: [Constraint] -> HMError Context' diff --git a/src/Core/Syntax.hs b/src/Core/Syntax.hs index fab3170..1e99723 100644 --- a/src/Core/Syntax.hs +++ b/src/Core/Syntax.hs @@ -58,6 +58,7 @@ data Type = TyInt | TyFun | TyVar Name | TyApp Type Type + | TyCon Name deriving (Show, Read, Lift, Eq) type TyCon = Name