Commit 7e19c456 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Remove more -fglasgow-exts uses from tests

parent 27dc4363
......@@ -11,8 +11,8 @@ ghci024:
printf ":show languages\n" \
| '$(TEST_HC)' --interactive -v0 -ignore-dot-ghci \
| grep -E "^([^ ]| -XImplicitPrelude| -XMagicHash)"
@echo "~~~~~~~~~~ Testing :show languages, with -fglasgow-exts"
printf ":set -fglasgow-exts\n:show languages\n" \
@echo "~~~~~~~~~~ Testing :show languages, with -XMagicHash"
printf ":set -XMagicHash\n:show languages\n" \
| '$(TEST_HC)' --interactive -v0 -ignore-dot-ghci \
| grep -E "^([^ ]| -XImplicitPrelude| -XMagicHash)"
@echo "~~~~~~~~~~ Testing :show packages"
......
putStrLn "-- ghci024.stdout is a generated file! please edit ghci024.py instead."
:set
:show languages
putStrLn "-- :set -fglasgow-exts"
:set -fglasgow-exts
putStrLn "-- :set -XMagicHash"
:set -XMagicHash
:show languages
:show packages
putStrLn "-- :set -package ghc"
......
......@@ -7,7 +7,7 @@ other dynamic, non-language, flag settings:
~~~~~~~~~~ Testing :show languages
active language flags:
-XImplicitPrelude
~~~~~~~~~~ Testing :show languages, with -fglasgow-exts
~~~~~~~~~~ Testing :show languages, with -XMagicHash
active language flags:
-XMagicHash
-XImplicitPrelude
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE OverlappingInstances, UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
FlexibleInstances,
OverlappingInstances, UndecidableInstances #-}
-- Rather exotic example posted to Haskell mailing list 17 Oct 07
-- It concerns context reduction and functional dependencies
......
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE TypeFamilies, Rank2Types #-}
module ShouldFail where
......
{-# LANGUAGE TypeFamilies, UndecidableInstances #-}
{-# OPTIONS -fglasgow-exts -Wnot #-}
{-# OPTIONS_GHC -Wnot #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
-- Test for top-level duplicates
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE MultiParamTypeClasses, ExplicitForAll #-}
module ShouldFail where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE Rank2Types, FlexibleInstances #-}
-- This one made ghc-4.08 crash
-- rename/RnEnv.lhs:239: Non-exhaustive patterns in function get_tycon_key
......
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
module A where
class Matrix a fa | a -> fa where
......
{-# LANGUAGE MultiParamTypeClasses #-}
module B where
import A
newtype Val = Val [Int]
......
......@@ -3,4 +3,4 @@ test('typecheck.prog001',
[skip_if_fast,
extra_clean(['A.hi', 'A.o', 'B.hi', 'B.o', 'C.hi', 'C.o'])],
multimod_compile,
['C', '-v0 -fglasgow-exts'])
['C', '-v0'])
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE TypeOperators #-}
module A where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE TypeOperators #-}
module B where
import A
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE ScopedTypeVariables #-}
-- !!! Scoped type variables: result sig
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE ScopedTypeVariables #-}
-- Scoped type variables on pattern bindings
-- This should *fail* on GHC 5.02 and lower,
......
-- No -fglasgow-exts, so (v::a) means (v:: forall a.a)
-- No ScopedTypeVariables, so (v::a) means (v:: forall a.a)
module ShouldCompile where
......
......@@ -2,7 +2,7 @@
-- The type sig for 'test' is illegal in H98 because of the
-- partial application of the type sig.
-- But with -fglasgow-exts it should be OK because when
-- But with LiberalTypeSynonyms it should be OK because when
-- you expand the type synonyms it's just Int->Int
-- c.f should_fail/tcfail107.hs
......
{-# OPTIONS -fglasgow-exts #-}
-- This only typechecks if forall-hoisting works ok when
-- importing from an interface file. The type of Twins.gzipWithQ
......
{-# OPTIONS -w -fglasgow-exts #-}
{-# OPTIONS_GHC -w #-}
-- A nasty case that crashed GHC 6.4 with a Lint error;
-- see Note [Multiple instantiation] in TcExpr
......
Supports Markdown
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