Warum Vorlage Haskell ignoriert eigenständige Ableitungserklärung in Angebot?Standalone Ableiten Deklaration in Vorlage Haskell-Angebot
{-# LANGUAGE TemplateHaskell, StandaloneDeriving #-}
data Test a = Test a
$([d| deriving instance Show a => Show (Test a); f x = x |])
ghci> :l Test.hs
[1 of 1] Compiling Main (Test.hs, interpreted)
Ok, modules loaded: Main.
ghci> :t f
f :: t -> t
ghci> Test 1 :: Test Int
<interactive>:18:1:
No instance for (Show (Test Int)) arising from a use of `print'
Possible fix: add an instance declaration for (Show (Test Int))
In a stmt of an interactive GHCi command: print it
Richtig, ich bemerkte das Fehlen eines eigenständigen, abgeleiteten Costruktors in der Bibliothek. Hatte gehofft, es durch Zitate zu bekommen. – leventov
Ich vermute, dies liegt daran, dass das eigenständige Ableiten in einer früheren Kompilierungsphase als Template Haskell erfolgt. Im Renamer anstelle des Typcheckers oder so. –
Es sollte seit GHC 7.10 funktionieren, siehe https://ghc.haskell.org/trac/ghc/ticket/8100. –