Commit c02a4e7b authored by Michael Hanus's avatar Michael Hanus
Browse files

typeinference now based on hierarchical FlatCurry libs

parent 137759b9
......@@ -7,7 +7,7 @@
module AFCSubst where
import FiniteMap
import AnnotatedFlatCurry
import FlatCurry.Annotated.Types
--- The (abstract) data type for substitutions on TypeExpr.
type AFCSubst = FM TVarIndex TypeExpr
......@@ -42,11 +42,12 @@ import FiniteMap
import List (find)
import AFCSubst
import AnnotatedFlatCurry
import qualified AnnotatedFlatCurryGoodies as AFC (annExpr, funcName)
import ErrorState
import FlatCurry
import FlatCurryGoodies (branchExpr, funcName)
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies (branchExpr, funcName)
import FlatCurry.Annotated.Types
import qualified FlatCurry.Annotated.Goodies as AFC (annExpr, funcName)
import SCC
import Unification
import Unsafe
Supports Markdown
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