Ticket #7101: implicit.patch

File implicit.patch, 1000 bytes (added by pcapriotti, 21 months ago)
  • compiler/specialise/Specialise.lhs

    From fceaad052cde9a2181e58f3073e00e474fd690e9 Mon Sep 17 00:00:00 2001
    From: Paolo Capriotti <p.capriotti@gmail.com>
    Date: Fri, 27 Jul 2012 12:57:48 +0100
    Subject: [PATCH] Fix implicit parameter check in Specialise.lhs.
    
    ---
     compiler/specialise/Specialise.lhs |    2 +-
     1 file changed, 1 insertion(+), 1 deletion(-)
    
    diff --git a/compiler/specialise/Specialise.lhs b/compiler/specialise/Specialise.lhs
    index 6892c9c..d1793bf 100644
    a b mkCallUDs :: Id -> [CoreExpr] -> UsageDetails 
    15731573mkCallUDs f args 
    15741574  | not (want_calls_for f)  -- Imported from elsewhere 
    15751575  || null theta             -- Not overloaded 
    1576   || not (all isClassPred theta) 
     1576  || any (\p -> not (isClassPred p) || isIPPred p) theta 
    15771577        -- Only specialise if all overloading is on class params. 
    15781578        -- In ptic, with implicit params, the type args 
    15791579        --  *don't* say what the value of the implicit param is!