È possibile utilizzare localmente UndecidableInstances pragma ha conseguenze globali sulla conclusione della compilazione?

Question

Supponiamo che un progettista di librerie Haskell decida di utilizzare UndecidableInstances per qualche motivo. La biblioteca si compila bene. Supponiamo ora che alcuni programmi utilizzino la libreria (come definisce alcune istanze delle sue classi di tipi), ma non usa l'estensione. Può accadere che la compilazione fallisca (non termina)?

Se un tale scenario può accadere, sarei felice di vedere un esempio. Ad esempio, come mtl utilizza molto UndecidableInstances, è possibile scrivere un programma che dipende da mtl (o qualsiasi altra libreria standard che utilizza l'estensione), non utilizza lo stesso UndecidableInstances, ma non riesce a compilare a causa della indecidibilità?

Answer 1

Ottima domanda!

In generale questo è certamente possibile. Considera questo modulo:

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances #-} 

module M where 

class C a b | a -> b where 
    f :: a -> b 

instance C a b => C [a] [b] 
    where f = map f 

Compilare da solo bene. Tuttavia, se si importa il modulo e definire

g x = x + f [x] 

si otterrà

Context reduction stack overflow; size = 201 
Use -fcontext-stack=N to increase stack size to N 
    C [b] b 
In the second argument of `(+)', namely `f [x]' 
In the expression: x + f [x] 
In an equation for `g': g x = x + f [x] 

---

Per quanto riguarda i casi MTL, io non vedo come qualcosa di simile a questo è possibile, ma anche non ho la prova che non lo è.