mirror of
https://github.com/github/semantic.git
synced 2024-12-20 21:31:48 +03:00
Widen the heap.
This commit is contained in:
parent
1d93c913bb
commit
e2bd55950d
@ -111,8 +111,8 @@ runCallGraph lang includePackages modules package = do
|
|||||||
runGraphAnalysis
|
runGraphAnalysis
|
||||||
= runTermEvaluator @_ @(Hole (Maybe Name) (Located Monovariant)) @Abstract
|
= runTermEvaluator @_ @(Hole (Maybe Name) (Located Monovariant)) @Abstract
|
||||||
. graphing @_ @_ @(Maybe Name) @Monovariant
|
. graphing @_ @_ @(Maybe Name) @Monovariant
|
||||||
. caching
|
|
||||||
. runState (lowerBound @(Heap (Hole (Maybe Name) (Located Monovariant)) Abstract))
|
. runState (lowerBound @(Heap (Hole (Maybe Name) (Located Monovariant)) Abstract))
|
||||||
|
. caching
|
||||||
. runFresh 0
|
. runFresh 0
|
||||||
. resumingLoadError
|
. resumingLoadError
|
||||||
. resumingUnspecialized
|
. resumingUnspecialized
|
||||||
|
Loading…
Reference in New Issue
Block a user