Commit 7fca8b30 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Fixed bug in type inference w.r.t. primitive types

parent b43a8b27
......@@ -109,9 +109,8 @@ lookupTupleTC tc | isTupleId tc = [tupleTCs !! (tupleArity tc - 2)]
tupleTCs :: [TypeInfo]
tupleTCs = map typeInfo tupleData
where typeInfo (DataConstr c _ tys) =
DataType (qualifyWith preludeMIdent c) (length tys)
[Just (DataConstr c 0 tys)]
where typeInfo c@(DataConstr _ _ tys) = let arity = length tys
in DataType (qTupleId arity) arity [Just c]
tupleData :: [DataConstr]
tupleData = [DataConstr (tupleId n) 0 (take n tvs) | n <- [2 ..]]
......
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