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

Generalize substitute.

Browse Source
This commit is contained in:
Rob Rix 2018-10-22 12:27:06 -04:00
parent 0960f0cd9e
commit 3c267f2757
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -192,10 +192,11 @@ substitute :: ( Member (Reader ModuleInfo) sig
, Member (Resumable (BaseError TypeError)) sig , Member (Resumable (BaseError TypeError)) sig
, Member (State TypeMap) sig , Member (State TypeMap) sig
, Carrier sig m , Carrier sig m
, Monad m
) )
=> TName => TName
-> Type -> Type
-> Evaluator term address Type m Type -> m Type
substitute id ty = do substitute id ty = do
infiniteType <- occur id ty infiniteType <- occur id ty
ty <- if infiniteType ty <- if infiniteType