Commit 3444b48e authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Comments only

parent 55a95e74
......@@ -341,7 +341,11 @@ data HsWrapper
-- Guaranteed not the identity coercion
| WpApp Var -- [] d the 'd' is a type-class dictionary or coercion variable
| WpTyApp Type -- [] t the 't' is a type or corecion
-- ToDo: it'd be tidier if 't' was always a type (not coercion),
-- but that is inconvenient in Inst.instCallDicts
| WpLam Var -- \d. [] the 'd' is a type-class dictionary or coercion variable
| WpTyLam TyVar -- \a. [] the 'a' is a type variable (not coercion var)
| WpInline -- inline_me [] Wrap inline around the thing
......
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