github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

🔥 ImportGraphingWithHoles.

Browse Source
This commit is contained in:
Rob Rix 2018-04-26 11:35:33 -04:00
parent adb5549677
commit ac15c4fd78
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Semantic/Util.hs
View File

@ -10,7 +10,6 @@ import Analysis.Abstract.Caching
import Analysis.Abstract.Collecting import Analysis.Abstract.Collecting
import Analysis.Abstract.Erroring import Analysis.Abstract.Erroring
import Analysis.Abstract.Evaluating as X import Analysis.Abstract.Evaluating as X
import Analysis.Abstract.ImportGraph
import Analysis.Abstract.TypeChecking import Analysis.Abstract.TypeChecking
import Control.Abstract.Analysis import Control.Abstract.Analysis
import Data.Abstract.Address import Data.Abstract.Address
@ -54,8 +53,6 @@ type EvaluatingWithHoles term
( Erroring (LoadError term (Value (Located Precise term))) ( Erroring (LoadError term (Value (Located Precise term)))
( Evaluating (Located Precise term) term (Value (Located Precise term)))))))) ( Evaluating (Located Precise term) term (Value (Located Precise term))))))))
type ImportGraphingWithHoles term = ImportGraphing (EvaluatingWithHoles term)
-- The order is significant here: Caching has to come on the outside, or its Interpreter instance -- The order is significant here: Caching has to come on the outside, or its Interpreter instance
-- will expect the TypeError exception type to have an Ord instance, which is wrong. -- will expect the TypeError exception type to have an Ord instance, which is wrong.
type Checking term type Checking term