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

Require -fallow-undecidable-instances

parent e4992dc4
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
-- -fallow-undecidable-instances because 'b' appears in the context but not the head
module ShouldCompile where
......
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
-- !!! An instance decl with a context containing a free type variable
-- The interest here is that there's a "b" in the instance decl
-- context that isn't mentioned in the instance head.
-- Hence -fallow-undecidable-instances
module ShouldCompile where
......
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