github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

🔥 :*.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 17:05:51 -05:00
parent ed626389a6
commit e011a71835
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Abstract/Type.hs
View File

@ -14,12 +14,10 @@ data Type
| String -- ^ Primitive string type.
| Unit -- ^ The unit type.
| Type :-> Type -- ^ Binary function types.
| Type :* Type -- ^ Binary products.
| TVar TName -- ^ A type variable.
| Product [Type] -- ^ N-ary products.
deriving (Eq, Ord, Show)
-- TODO: Do we need both Product and :*?
-- TODO: À la carte representation of types.
@ -28,7 +26,6 @@ unify :: MonadFail m => Type -> Type -> m Type
unify Int Int = pure Int
unify Bool Bool = pure Bool
unify (a1 :-> b1) (a2 :-> b2) = (:->) <$> unify a1 a2 <*> unify b1 b2
unify (a1 :* b1) (a2 :* b2) = (:*) <$> unify a1 a2 <*> unify b1 b2
unify (TVar _) b = pure b
unify a (TVar _) = pure a
-- FIXME: this can succeed incorrectly for lists of inequal length.