Commit 22535fa3 authored by Ian Lynagh's avatar Ian Lynagh

Update tests now -fglasgow-exts is deprecated

parent 811690f9
{-# OPTIONS -fglasgow-exts #-}
module Bug (tst) where
tst :: Float -> Bool
tst x = truncate x > (0::Int)
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE MagicHash #-}
module ShouldCompile where
......
{-# OPTIONS_GHC -cpp -fglasgow-exts #-}
{-# LANGUAGE MagicHash #-}
module ShouldCompile where
-- exposed a bug in the NCG in 6.4.2
......
......@@ -53,7 +53,7 @@ test('ds045', normal, compile, [''])
test('ds046', normal, compile, ['-funbox-strict-fields'])
test('ds047', normal, compile, [''])
test('ds048', normal, compile, [''])
test('ds050', normal, compile, ['-fglasgow-exts'])
test('ds050', normal, compile, [''])
test('ds051', normal, compile, [''])
test('ds052', normal, compile, [''])
test('ds053', normal, compile, [''])
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE MagicHash #-}
module ShouldCompile where
import GHC.Exts
......
{-# LANGUAGE Rank2Types #-}
module ShouldCompile where
data Q = Q {f :: forall a. a -> a}
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE ExistentialQuantification, DeriveDataTypeable #-}
-- This module requires quite trick desugaring,
-- because of the context in the existentials
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE MagicHash, UnboxedTuples #-}
module ShouldCompile where
import Data.Word
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- !!! deriving for GADTs which declare Haskell98 data types.
-- bug reported as http://hackage.haskell.org/trac/ghc/ticket/902
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE DeriveDataTypeable #-}
-- Deriving Typeable has various special cases
module Foo where
......
{-# OPTIONS -fglasgow-exts #-}
-- July 07: I'm changing this from "should_compile" to "should_fail".
-- It would generate an instance decl like
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
FlexibleInstances, GeneralizedNewtypeDeriving #-}
-- Test deriving of a multi-parameter class for
-- one-argument newtype defined in the same module
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-- Tests newtype unwrapping for the IO monad itself
-- Notice the RenderM monad, which is used in the
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Arith where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs, GeneralizedNewtypeDeriving #-}
-- See Trac #1251 and the comments
-- Note [Pruning dead case alternatives] in types/Unify.lhs
......
{-# OPTIONS -fglasgow-exts -O #-}
{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -O #-}
module Gadt17_help (
TernOp (..), applyTernOp
......
{-# OPTIONS_GHC -XGADTs -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
module Gadt23_AST where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Supplied by Henrik Nilsson, showed up a bug in GADTs
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
-- See Trac #1323; crashed GHC 6.6
......
{-# OPTIONS_GHC -Wall -fglasgow-exts #-}
{-# LANGUAGE GADTs, ScopedTypeVariables, FlexibleContexts,
MultiParamTypeClasses #-}
{-# OPTIONS_GHC -Wall #-}
module T2040 where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Opt where
import Control.Arrow
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Trac #289
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification #-}
-- Trac #289
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification, ScopedTypeVariables,
Rank2Types #-}
-- Here's an example from Doaitse Swiestra (Sept 06)
-- which requires use of scoped type variables
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldCompile where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldCompile where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldFail2 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed5 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed1 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed2 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed3 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed4 where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldSucceed5 where
......
{-# OPTIONS -XGADTs -XExistentialQuantification #-}
{-# LANGUAGE GADTs, ExistentialQuantification #-}
module Escape where
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Trac #345
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, Rank2Types #-}
module ShouldCompile where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldFail where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldFail where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- This should fail, because there is no annotation on shw,
-- but it succeeds in 6.4.1
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Check that trailing parens are ok in data con signatures
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Triggered a desugaring bug in earlier verison
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
{- This code, courtesy of Markus Lauer (markus.lauer-2006@lauerit.de)
was rejected by the sophisticated wobbly-type impl in 6.4.1, and
......
{-# OPTIONS -fglasgow-exts -O #-}
{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -O #-}
-- This one showed up a bug that required type refinement in TcIface
-- See the call to coreRefineTys in TcIface
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- A simple GADT test from Roman
-- which nevertheless showed up a bug at one stage
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Involves an equality that is not an existential
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Pattern match uses dictionaries bound higher up in the pattern
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
-- Test for trac #810
-- Should be able to infer bool :: Bool and integer :: Integer, so
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, Rank2Types #-}
-- Fails (needs the (Ord a) in TypeSet
-- c.f. gadt22.hs
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, Rank2Types #-}
-- Succeeds (needs the (Ord a) in TypeSet
-- c.f. gadt21.hs
......
{-# OPTIONS_GHC -XGADTs #-}
{-# LANGUAGE GADTs #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Test for Trac #1396
-- Panics in GHC 6.6.1
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldCompile where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldCompile where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
-- Test a couple of trivial things:
-- explicit layout
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- This one requires careful handling in
-- TcUnify.unifyTyConApp, to preserve rigidity.
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures,
MultiParamTypeClasses, FunctionalDependencies #-}
-- Program from Josef Svenningsson
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
-- See Trac #301
-- This particular one doesn't use GADTs per se,
......
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE GADTs, KindSignatures #-}
module Expr0 where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification #-}
module ShouldFail where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- It's not clear whether this one should succed or fail,
-- Arguably it should succeed because the type refinement on
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, Rank2Types #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Tests record syntax for GADTs
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Tests record syntax for GADTs
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module ShouldCompile where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Main where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
-- Provoked by
-- http://www.haskell.org/pipermail/haskell-cafe/2007-January/021086.html
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, ExistentialQuantification #-}
-- This typechecker, written by Stephanie Weirich at Dagstuhl (Sept 04)
-- demonstrates that it's possible to write functions of type
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Tdpe where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs, Rank2Types #-}
module Termination where
......
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE GADTs #-}
module Main where
......
{-# OPTIONS -fglasgow-exts -funbox-strict-fields #-}
{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -funbox-strict-fields #-}
-- Tests record selectors with unboxed fields for GADTs
......