Commit 20634722 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add -fallow-undecidable-instances to reflect more accurate termination test in fundeps

parent efd244e9
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instanced now needed because the Coverage Condition fails
-- !!! Functional dependencies
-- This one gave another fail in tcReadMutVar
......
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instanced now needed because the Coverage Condition fails
-- !!! Functional dependency test. Hugs [Apr 2001] fails to typecheck this
-- We should infer this type for foo
......
tc125.hs:14:0:
tc125.hs:15:0:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add Z a a'
tc125.hs:15:0:
tc125.hs:16:0:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add (S a) b (S c)'
tc125.hs:19:0:
tc125.hs:20:0:
Warning: No explicit method nor default method for `mul'
In the instance declaration for `Mul Z a Z'
tc125.hs:20:0:
tc125.hs:21:0:
Warning: No explicit method nor default method for `mul'
In the instance declaration for `Mul (S a) b d'
tc125.hs:27:0:
tc125.hs:28:0:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add (Q a b) (Q c d) (Q ad_bc bd)'
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instanced now needed because the Coverage Condition fails
-- !!! Functional dependency test. Hugs [Apr 2001] fails to typecheck this
-- Rather bizarre example submitted by Jonathon Bell
......
tc126.hs:13:0:
tc126.hs:14:0:
Warning: No explicit method nor default method for `bug'
In the instance declaration for `Bug (Int -> r) Int r'
tc126.hs:14:0:
tc126.hs:15:0:
Warning: No explicit method nor default method for `bug'
In the instance declaration for `Bug f (c a) (c r)'
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instanced now needed because the Coverage Condition fails
-- This one blew up Hugs (Apr 02)
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instanced now needed because the Coverage Condition fails
-- Hugs failed this functional-dependency test
-- Reported by Iavor Diatchki Feb 05
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment