Skip to content
Snippets Groups Projects
Commit 7483b805 authored by sof's avatar sof
Browse files

[project @ 1997-09-04 19:56:14 by sof]

absApply bug fix
parent 6c2585f8
No related merge requests found
......@@ -239,8 +239,7 @@ mkWrapper fun_ty demands
in
getUniques n_wrap_args `thenUs` \ wrap_uniqs ->
let
-- (tyvars, tau_ty) = splitForAllTyExpandingDicts fun_ty
(tyvars, tau_ty) = splitForAllTy fun_ty
(tyvars, tau_ty) = splitForAllTyExpandingDicts fun_ty
(arg_tys, body_ty) = splitFunTyExpandingDicts tau_ty
-- The "expanding dicts" part here is important, even for the splitForAll
-- The imported thing might be a dictionary, such as Functor Foo
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment