1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
This commit is contained in:
Rob Rix 2017-12-20 17:25:09 -05:00
parent 2f9fb36944
commit 3dd17d794c

View File

@ -19,6 +19,7 @@ data Type
| TArr [Type] -- ^ N-ary function types?
deriving (Eq, Ord, Show)
-- | Unify two 'Type's.
unify :: MonadFail m => Type -> Type -> m Type
unify Int Int = pure Int