• simonpj's avatar
    [project @ 2002-10-23 14:30:00 by simonpj] · 203a687f
    simonpj authored
    ------------------------------------------------
    	Allow implicit-parameter bindings anywhere that
    		a normal binding group is allowed.
    	------------------------------------------------
    
    That is, you can have implicit parameters
    
    	* in a let binding
    	* in a where clause (but then you can't have non-implicit
    	  ones as well)
    	* in a let group in a list comprehension or monad do-notation
    
    The implementation is simple: just add IPBinds to the allowable forms of HsBinds,
    and remove the HsWith expression form altogether.   (It now comes in via the
    HsLet form.)
    
    It'a a nice generalisation really.  Needs a bit of documentation, which I'll do next.
    203a687f
TcGenDeriv.lhs 43.5 KB