unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-24 00:39:58 +03:00
Code Issues Projects Releases Wiki Activity

use more robust check for whether a binding is a function

Browse Source
This commit is contained in:
Paul Chiusano 2019-03-21 22:50:51 -04:00
parent 8bb95293ae
commit 408c52a0a1
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
parser-typechecker/src/Unison/Typechecker/Components.hs
View File

@ -51,9 +51,7 @@ minimize (Term.LetRecNamedAnnotatedTop' isTop ann bs e) =
-- Here `foo` and `blah` are part of a cycle, but putting `foo`
-- first at least lets the program run (though it has an infinite
-- loop).
cs = map (sortOn lambdasFirst) cs0 where
lambdasFirst (_, Term.Lam' _) = 0 :: Int
lambdasFirst _ = 1
cs = sortOn (\(_,e) -> Term.arity e == 0) <$> cs0
varAnnotations = Map.fromList ((\((a, v), _) -> (v, a)) <$> bs)
annotationFor v = fromJust $ Map.lookup v varAnnotations
annotatedVar v = (annotationFor v, v)