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
|
|
| 1573 | 1573 | mkCallUDs f args |
| 1574 | 1574 | | not (want_calls_for f) -- Imported from elsewhere |
| 1575 | 1575 | || null theta -- Not overloaded |
| 1576 | | || not (all isClassPred theta) |
| | 1576 | || any (\p -> not (isClassPred p) || isIPPred p) theta |
| 1577 | 1577 | -- Only specialise if all overloading is on class params. |
| 1578 | 1578 | -- In ptic, with implicit params, the type args |
| 1579 | 1579 | -- *don't* say what the value of the implicit param is! |
