TH Show instance not working.

[David Banas]

Yep, that was it. Thanks, Li-yao!
-db

> On Aug 20, 2017, at 12:29 AM, Li-yao Xia <lysxia at gmail.com> wrote:
> 
> Hi David,
> 
> mkShow is probably making two separate declarations for "show" ([FunD "show" _, FunD "show" _]) instead of one declaration with two clauses ([FunD "show" [Clause ..., Clause ...]]).
> Both pretty-print to the same text, but only the second one is actually valid. When there is only one constructor, both alternatives end up the same.
> 
> Li-yao
> 
> On 08/20/2017 02:16 AM, David Banas wrote:
>> Hi all,
>> 
>> Does anyone know why this code:
>> 
>> module Language.P4.UtilTest where
>> 
>> import Language.P4.Util (mkShow)
>> 
>> data Dummy = Bogus    Char
>>            | Nonsense Int
>> 
>> $(mkShow ''Dummy)
>> 
>> is producing this error:
>> 
>> Davids-Air-2:P4 dbanas$ stack ghc -- UtilTest.hs -ddump-splices
>> [1 of 1] Compiling Language.P4.UtilTest ( UtilTest.hs, UtilTest.o )
>> UtilTest.hs:24:3-16: Splicing declarations
>>     mkShow ''Dummy
>>   ======>
>>     instance Show Dummy where
>>       show (Bogus x) = show x
>>       show (Nonsense x) = show x
>> 
>> UtilTest.hs:24:3: error:
>>     Conflicting definitions for ‘show’
>>     Bound at: UtilTest.hs:24:3-16
>>               UtilTest.hs:24:3-16
>>    |
>> 24 | $(mkShow ''Dummy)
>>    |   ^^^^^^^^^^^^^^
>> 
>> ?
>> 
>> The TH splice expansion looks correct to me.
>> If I comment out the second constructor (Nonsense Int), the code compiles without error.
>> 
>> Thanks,
>> -db
>> 
>> 
>> 
>> 
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>