Commit 9ddee32b authored by Finn Teegen's avatar Finn Teegen
Browse files

Re-enable dictionary specialization

parent ebdc526d
......@@ -77,7 +77,7 @@ insertDicts inlDi intfEnv tcEnv vEnv clsEnv inEnv pEnv mdl@(Module _ _ _ m _ _ _
where initState =
DTState m tcEnv vEnv clsEnv inEnv pEnv emptyDictEnv emptySpEnv 1
(mdl', tcEnv', vEnv', pEnv') =
runDTM (dictTrans mdl >>= (if {-inlDi-} False then specialize else return) >>= cleanup) initState
runDTM (dictTrans mdl >>= (if inlDi then specialize else return) >>= cleanup) initState
intfEnv' = dictTransInterfaces vEnv' clsEnv intfEnv
runDTM :: DTM a -> DTState -> (a, TCEnv, ValueEnv, OpPrecEnv)
......
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