Commit 46ec5a8e authored by Ian Lynagh's avatar Ian Lynagh

Avoid using deprecated flags in the testsuite tests

parent ee414c0d
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
-- test for out-size tuples: takes a _long_ time to compile
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldCompile where
......
{-# OPTIONS -farrows -fglasgow-exts #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE Arrows #-}
-- Crashed GHC 6.4 with a lint error
-- because of the existential
......
arrowfail001.hs:15:35:
arrowfail001.hs:16:35:
Ambiguous type variable `a' in the constraint:
`Foo a' arising from a use of `foo' at arrowfail001.hs:15:35-37
`Foo a' arising from a use of `foo' at arrowfail001.hs:16:35-37
Probable fix: add a type signature that fixes these type variable(s)
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module ShouldFail where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
-- Arrow commands where an expression is expected
module ShouldFail where
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
-- Toy lambda-calculus interpreter from John Hughes's arrows paper (s5)
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
-- Homogeneous (or depth-preserving) functions over perfectly balanced trees.
......
{-# OPTIONS -farrows #-}
{-# LANGUAGE Arrows #-}
module Main(main) where
......
{-# OPTIONS -farrows -fglasgow-exts #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE Arrows #-}
-- Simple expression parser
-- (uses do-notation and operators)
......
{-# OPTIONS -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
import Foreign
import System.Mem
......
{-# OPTIONS -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
import Foreign
import Data.IORef
......
{-# OPTIONS_GHC -fffi -cpp #-}
{-# LANGUAGE CPP, ForeignFunctionInterface #-}
module Test where
import Control.Concurrent
......
{-# OPTIONS_GHC -XRecordWildCards -XRecordPuns #-}
{-# OPTIONS_GHC -XRecordWildCards -XNamedFieldPuns #-}
-- This is a very partial test of the record-wildcard extension
-- but better than nothing
......
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE UndecidableInstances #-}
-- The Show instance for S would have form
-- instance X T c => Show S
......
drvfail002.hs:15:0:
drvfail002.hs:16:0:
Ambiguous constraint `X T c'
At least one of the forall'd type variables mentioned by the constraint
must be reachable from the type after the '=>'
......
{-# OPTIONS_GHC -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
module B.F where
foreign export ccall f :: Int -> Int
f :: Int -> Int
......
{-# OPTIONS_GHC -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
module TestStub where
foreign export ccall f :: Int -> Int
f :: Int -> Int
......
def ffi( opts ):
opts.extra_hc_opts = '-fffi -optc-Wno-implicit'
opts.extra_hc_opts = '-XForeignFunctionInterface -optc-Wno-implicit'
setTestOpts(ffi)
......
{-# OPTIONS -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- !!! test that infix operators can be exported with foreign export,
-- and that we can export something which isn't defined in this module.
module ShouldCompile where
......
{-# OPTIONS_GHC -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- !!! test that exporting the same thing multiple times works.
module ShouldCompile where
......
{-# OPTIONS -fffi -fglasgow-exts #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- Trac #1037
......
ccfail001.hs:9:0:
ccfail001.hs:10:0:
Unacceptable result type in foreign declaration: State# RealWorld
When checking declaration:
foreign import ccall safe "static &foo" foo
......
{-# OPTIONS -fglasgow-exts -fffi #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- Test for Trac #1680
......
ccfail002.hs:9:0:
ccfail002.hs:10:0:
Unacceptable result type in foreign declaration:
(# Int#, Int#, Int# #)
When checking declaration:
......
{-# OPTIONS -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- !!! returning a Bool from a foreign export confused GHCi 6.0.1.
......
{-# OPTIONS_GHC -fffi -#include "ffi015_cbits.h" #-}
{-# OPTIONS_GHC -#include "ffi015_cbits.h" #-}
{-# LANGUAGE ForeignFunctionInterface #-}
import Foreign
import Foreign.C
......
-- implicit params availability in breakpoints
:set -fimplicit-params
:set -XImplicitParams
:l break015.hs
:b f
g 5
......
-- TH generated code does not get instrumented
:set -fglasgow-exts
:set -fth
:set -XTemplateHaskell
:l dynbrk005
:st normal_fn [1,2,3]
:st
......
{-# OPTIONS_GHC -fallow-overlapping-instances #-}
{-# LANGUAGE OverlappingInstances #-}
module C where
......
:set -fth
:set -XTemplateHaskell
:m + Language.Haskell.TH
$( do runIO $ putStrLn "Q"; [| 'x' |] )
......@@ -157,6 +157,7 @@ other dynamic, non-language, flag settings:
-fno-warn-unused-imports
-fno-warn-unused-matches
-fwarn-deprecations
-fwarn-deprecated-flags
-fno-warn-orphans
-fno-warn-tabs
-fno-strictness
......
{-# OPTIONS_GHC -fno-implicit-prelude #-}
{-# OPTIONS_GHC -XNoImplicitPrelude #-}
-----------------------------------------------------------------------------
--
-- Module : Foreign
......
{-# OPTIONS_GHC -fno-implicit-prelude #-}
{-# OPTIONS_GHC -XNoImplicitPrelude #-}
-----------------------------------------------------------------------------
--
-- Module : Foreign
......
{-# OPTIONS -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE OverlappingInstances, UndecidableInstances #-}
-- Rather exotic example posted to Haskell mailing list 17 Oct 07
-- It concerns context reduction and functional dependencies
......
......@@ -2,17 +2,17 @@
TyFamUndec.hs:6:0:
Variable occurs more often than in instance head
in the type family application: T (b, b)
(Use -fallow-undecidable-instances to permit this)
(Use -XUndecidableInstances to permit this)
In the type synonym instance declaration for `T'
TyFamUndec.hs:7:0:
Application is no smaller than the instance head
in the type family application: T (a, Maybe b)
(Use -fallow-undecidable-instances to permit this)
(Use -XUndecidableInstances to permit this)
In the type synonym instance declaration for `T'
TyFamUndec.hs:8:0:
Nested type family application
in the type family application: T (a, T b)
(Use -fallow-undecidable-instances to permit this)
(Use -XUndecidableInstances to permit this)
In the type synonym instance declaration for `T'
{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS -fallow-undecidable-instances #-}
{-# OPTIONS -fallow-overlapping-instances #-}
{-# LANGUAGE OverlappingInstances, UndecidableInstances #-}
{-
......
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE UndecidableInstances #-}
{-
......
{-# OPTIONS_GHC -fffi #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- Test that the Win32 error code from getLastError is thread-local.
import System.Win32
......
......@@ -9,6 +9,6 @@ clean:
base01:
rm -f GHC/*.o
rm -f GHC/*.hi
$(TEST_HC) -fno-implicit-prelude -package-name base -c GHC/Base.hs
$(TEST_HC) -fno-implicit-prelude -package-name base --make GHC.Foo
$(TEST_HC) -XNoImplicitPrelude -package-name base -c GHC/Base.hs
$(TEST_HC) -XNoImplicitPrelude -package-name base --make GHC.Foo
{-# OPTIONS -fbang-patterns #-}
{-# OPTIONS -XBangPatterns #-}
-- Various bang-pattern and lazy-pattern tests
......
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE UndecidableInstances #-}
-- Modular arithmetic, due to Dale Thurston
......
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE UndecidableInstances #-}
-- TypeVal.hs: dependent types, here we come!
module TypeVal where
......
{-# OPTIONS -fno-implicit-prelude #-}
{-# OPTIONS -XNoImplicitPrelude #-}
-- Haskell98!
-- Tests of the do-notation for the parameterized monads
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
-- Tests of the do-notation for the restricted monads
-- We demonstrate that all ordinary monads are restricted monads,
......
# These tests try test the rebindable-syntax feature of GHC,
# which you get when you use -fno-implicit-prelude
# which you get when you use -XNoImplicitPrelude
#
# Written by Ashley Yakeley
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module RebindableCase1 where
{
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module Main where
{
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module Main where
{
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module Main where
{
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module Main where
{
......
{-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-}
{-# OPTIONS -fglasgow-exts -XNoImplicitPrelude #-}
module Main where
{
......
{-# OPTIONS -fno-implicit-prelude #-}
{-# OPTIONS -XNoImplicitPrelude #-}
-- This one tests rebindable syntax for do-notation
......
{-# OPTIONS -fno-implicit-prelude -fglasgow-exts #-}
{-# OPTIONS -XNoImplicitPrelude -fglasgow-exts #-}
-- Trac #1537
......
{-# OPTIONS -fno-implicit-prelude -fglasgow-exts #-}
{-# OPTIONS -XNoImplicitPrelude -fglasgow-exts #-}
-- Trac #1537
......
{-# OPTIONS -fno-implicit-prelude #-}
{-# OPTIONS -XNoImplicitPrelude #-}
-- This one crashed GHC 6.6 in lookupDeprec
-- See Trac #1128
......
{-# OPTIONS -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Duplicate bindings introduced one at a time with TH
module ShouldFail where
......
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances #-}
{-# OPTIONS -fglasgow-exts #-}
{-# LANGUAGE OverlappingInstances, UndecidableInstances #-}
-- module Formula where
module Main where
......
{-# OPTIONS_GHC -fffi -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE ForeignFunctionInterface #-}
-- From trac #1947
......
{-# OPTIONS -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Two sliced declarations bind the same variable.
-- This test checks that there's a reasonable error message
......
{-# OPTIONS_GHC -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Test error message when the code in a splice
-- fails in an immediate fashion (e.g. with a
......
{-# OPTIONS -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Test error message when the code in a splice
-- fails in a lazy fashion (e.g. a (head [])
......
{-# OPTIONS_GHC -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Test for sane reporting on TH code giving up.
......
{-# OPTIONS -fth -ddump-splices -XExistentialQuantification #-}
{-# OPTIONS -ddump-splices -XExistentialQuantification #-}
{-# LANGUAGE TemplateHaskell #-}
module TH_genEx where
......
......@@ -2,6 +2,6 @@ TH_genEx.hs:1:0:
TH_genEx.hs:1:0: Splicing declarations
genAny (reify 'MyInterface)
======>
TH_genEx.hs:12:2-29
TH_genEx.hs:13:2-29
data AnyMyInterface1111
= forall a. (TH_genEx.MyInterface a) => AnyMyInterface1111 a
{-# OPTIONS -fth #-}
{-# LANGUAGE TemplateHaskell #-}
module ModuleB where
import ModuleC
......
{-# OPTIONS -fth #-}
{-# LANGUAGE TemplateHaskell #-}
-- Test name quoting and splicing, for built-in syntax
......
......@@ -14,9 +14,9 @@ clean:
TH_recompile:
$(MAKE) clean
cp Sub1.hs Sub.hs
ghc -v0 --make -fth Main.hs -o test
ghc -v0 --make -XTemplateHaskell Main.hs -o test
cp Sub2.hs Sub.hs
ghc -v0 --make -fth Main.hs -o test2
ghc -v0 --make -XTemplateHaskell Main.hs -o test2
./test
./test2
def f(opts):
opts.extra_hc_opts = '-fth -package template-haskell'
opts.extra_hc_opts = '-XTemplateHaskell -package template-haskell'
if (ghc_with_interpreter == 0):
opts.skip = 1
......