github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Rename type variables to TVar.

Browse Source 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
This commit is contained in:
Rob Rix 2018-05-23 12:47:57 -04:00
parent 10cf048dfc
commit 3200ce88a7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Abstract/Value.hs
View File

@ -105,7 +105,7 @@ runFunctionValue alloc assign = go
data Type
= Type :-> Type
| Product [Type]
| Var Int
| TVar Int
deriving (Eq, Ord, Show)
runFunctionType :: forall m location effects a function
@ -132,7 +132,7 @@ runFunctionType alloc assign = go
Lambda params _ body -> go (do
(bindings, tvars) <- foldr (\ name rest -> do
a <- alloc name
tvar <- Var <$> fresh
tvar <- TVar <$> fresh
assign a tvar
bimap (Map.insert name a) (tvar :) <$> rest) (pure (Map.empty, [])) params
(Product tvars :->) <$> local (Map.unionWith const bindings) body) >>= yield