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

Produce TArr properly

Browse Source
This commit is contained in:
Timothy Clem 2017-11-29 20:08:03 -08:00
parent 8aadfa44a6
commit 16bdc21e4f
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Syntax/Declaration.hs
View File

@ -55,7 +55,6 @@ instance ( Alternative m
, MonadFresh m
, MonadEnv Monovariant Type m
, MonadStore Monovariant Type m
-- , MonadAddress Monovariant m
, FreeVariables t
)
=> Eval t Type m Function where
@ -69,7 +68,7 @@ instance ( Alternative m
pure (name, a, tvar)
outTy <- localEnv (const (foldr (\ (n, a, _) -> envInsert n a) env tvars)) (recur pure functionBody)
let tvars' = fmap (\(_, _, t) -> t) tvars
let tvars' = fmap (\(_, _, t) -> TVar t) tvars
let v = TArr tvars' :-> outTy
let [name] = toList (freeVariables functionName)