Commit 2f8e0aab authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 87c5583a
......@@ -10,6 +10,7 @@
"base" : ">= 1.0.0, < 2.0.0",
"cass-analysis" : ">= 2.0.0",
"currypath" : ">= 0.0.1",
"finite-map" : ">= 0.0.1",
"flatcurry" : ">= 2.0.0",
"propertyfile" : ">= 0.0.1",
"redblacktree" : ">= 0.0.1",
......
......@@ -3,12 +3,11 @@
--- In particular, it contains some simple fixpoint computations.
---
--- @author Heiko Hoffmann, Michael Hanus
--- @version December 2018
--- @version January 2019
--------------------------------------------------------------------------
module CASS.WorkerFunctions where
import FiniteMap
import IOExts
import List ( partition )
import Maybe ( fromJust )
......@@ -21,6 +20,7 @@ import Analysis.Types ( Analysis(..), isSimpleAnalysis, isCombinedAnalysis
import Analysis.ProgInfo ( ProgInfo, combineProgInfo, emptyProgInfo
, publicProgInfo, lookupProgInfo, lists2ProgInfo
, equalProgInfo, publicListFromProgInfo, showProgInfo )
import Data.FiniteMap
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment