github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

TODO

Browse Source
This commit is contained in:
Rob Rix 2017-12-20 17:25:52 -05:00
parent 3dd17d794c
commit 9aa0ae2f32
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,6 +19,8 @@ data Type
| TArr [Type] -- ^ N-ary function types? | TArr [Type] -- ^ N-ary function types?
deriving (Eq, Ord, Show) deriving (Eq, Ord, Show)
-- TODO: Do we need both TArr and :->?
-- | Unify two 'Type's. -- | Unify two 'Type's.
unify :: MonadFail m => Type -> Type -> m Type unify :: MonadFail m => Type -> Type -> m Type