Mon Dec 22 17:54:20 GMT 2008 tora@zonetora.co.uk * Tests for explicit call stack pass Tue Apr 21 18:08:36 BST 2009 tora@zonetora.co.uk * Updates to call stack tests New patches: [Tests for explicit call stack pass tora@zonetora.co.uk**20081222175420] { adddir ./tests/ghc-regress/callStackCore addfile ./tests/ghc-regress/callStackCore/CS010Main.hs hunk ./tests/ghc-regress/callStackCore/CS010Main.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main(main) where + +import CS010 + +main :: IO () +main = print foo addfile ./tests/ghc-regress/callStackCore/CS019.hs hunk ./tests/ghc-regress/callStackCore/CS019.hs 1 +module CS019 where + +import GHC.ExplicitCallStack.Stack +import Control.Exception + +class TC a where + foo :: a -> Int + + +data DT a = DT { dtF1 :: a + , dtF2 :: a + } + | NoDT + +bar :: TC a => a -> String +bar x = baz (foo x) + +baz :: Int -> String +baz 0 = bang NoDT +baz n = bang (DT n n) + +bang :: DT Int -> String +bang NoDT = throwStack (\s -> ErrorCall $ "No DT:\n" ++ show s) +bang (DT a _) = show a + +{- This currently fails in ghci due to an extra line missing from the main + stack trace. It's uncertain as to which is the correct behaviour (ghci or + ghc compiled) -} addfile ./tests/ghc-regress/callStackCore/CS019Main.hs hunk ./tests/ghc-regress/callStackCore/CS019Main.hs 1 +module Main where + +import CS019 + +main :: IO () +main = print $ boo 0 + + +boo :: Int -> String +boo n = (show n) ++ (bar n) + + +instance TC Int where + foo x = x + +{- This currently fails in ghci due to an extra line missing from the main + stack trace. It's uncertain as to which is the correct behaviour (ghci or + ghc compiled) -} addfile ./tests/ghc-regress/callStackCore/Makefile hunk ./tests/ghc-regress/callStackCore/Makefile 1 +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +clean: + rm -f *.o + rm -f *.hi + rm -f *.exe + rm -f *.run* + rm -f *.interp* + rm -f *.comp* + rm -f *.normalised* + rm -f *.tix* + rm -f *.manifest* + rm -f *.genscript* addfile ./tests/ghc-regress/callStackCore/all.T hunk ./tests/ghc-regress/callStackCore/all.T 1 +test("cs001", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs002", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs003", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs004", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs005", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs006", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs007", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs008", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs009", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs010", [skip_if_no_ghci, exit_code(1)], multimod_compile_and_run, ['CS010Main', '-package template-haskell']) +test("cs011", [skip_if_no_ghci, exit_code(1), expect_broken_for(2797, 'ghci')], compile_and_run, ['-package template-haskell']) +test("cs012", [skip_if_no_ghci, exit_code(1)], compile, ['-package template-haskell']) +test("cs013", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs014", [skip_if_no_ghci, exit_code(1)], compile, ['-package template-haskell']) +test("cs015", [skip_if_no_ghci, exit_code(1)], compile, ['-package template-haskell']) +test("cs017", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs018", [skip_if_no_ghci, exit_code(1)], compile_and_run, ['-package template-haskell']) +test("cs019", [skip_if_no_ghci, exit_code(1)], multimod_compile_and_run, ['CS019Main', '-package template-haskell -fexplicit-call-stack-all']) addfile ./tests/ghc-regress/callStackCore/cs001.hs hunk ./tests/ghc-regress/callStackCore/cs001.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar `seq` return () + +{-# ANN bar Debug #-} +bar = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) addfile ./tests/ghc-regress/callStackCore/cs001.stderr hunk ./tests/ghc-regress/callStackCore/cs001.stderr 1 +cs001.exe: crash! +in bar, cs001.hs:13,7 +in main, cs001.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs002.hs hunk ./tests/ghc-regress/callStackCore/cs002.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + baz `seq` return () + +{-# ANN bar Debug #-} +bar str = throwStack (\s -> ErrorCall $ str ++ show s) + +{-# ANN baz Debug #-} +baz = bar "crash!\n" addfile ./tests/ghc-regress/callStackCore/cs002.stderr hunk ./tests/ghc-regress/callStackCore/cs002.stderr 1 +cs002.exe: crash! +in bar, cs002.hs:13,11 +in baz, cs002.hs:16,7 +in main, cs002.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs003.hs hunk ./tests/ghc-regress/callStackCore/cs003.hs 1 +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar `seq` return () + +{-# ANN bar Debug #-} +bar = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) + addfile ./tests/ghc-regress/callStackCore/cs003.stderr hunk ./tests/ghc-regress/callStackCore/cs003.stderr 1 +cs003.exe: crash! + addfile ./tests/ghc-regress/callStackCore/cs004.hs hunk ./tests/ghc-regress/callStackCore/cs004.hs 1 +{-# OPTIONS_GHC -O0 -fexplicit-call-stack #-} +module Main(main) where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = bar (n - 1) + +{- Currently fails for me with: + + cs004: crash! + in bar, cs004.hs:13,9 +-in bar, cs004.hs:14,9 +-... + in main, cs004.hs:10,3 + +i.e. the self-recursion that the user would expect isn't evident. The cause for this is +an issue with the desugaring of AbsBinds; what gets created is: + +Main.bar = /\ tvs . \ ds -> + let ds = + letrec bar_tmp = ... bar_tmp ... +-} addfile ./tests/ghc-regress/callStackCore/cs004.stderr hunk ./tests/ghc-regress/callStackCore/cs004.stderr 1 +cs004.exe: crash! +in bar, cs004.hs:13,9 +in bar, cs004.hs:14,9 +... +in main, cs004.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs005.hs hunk ./tests/ghc-regress/callStackCore/cs005.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main(main) where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = baz (n - 1) + +{-# ANN baz Debug #-} +baz n = bar n + +{- Currently fails for me with: + +-in bar, cs005.hs:13,9 +-in baz, cs005.hs:17,9 +-in bar, cs005.hs:14,9 +-... ++in bar, cs005.hs:13,1 + in main, cs005.hs:10,3 + +Essentially a similar desugaring issue as in cs004. +However there is an added artifact of the source location for bar is wrong +(column 1 not 9). I believe this is related to the way AbsBinds are +associated with source locations, but I may be wrong. +-} addfile ./tests/ghc-regress/callStackCore/cs005.stderr hunk ./tests/ghc-regress/callStackCore/cs005.stderr 1 +cs005.exe: crash! +in bar, cs005.hs:13,9 +in baz, cs005.hs:17,9 +in bar, cs005.hs:14,9 +... +in main, cs005.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs006.hs hunk ./tests/ghc-regress/callStackCore/cs006.hs 1 +{-# OPTIONS_GHC -O0 -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = baz (n - 1) + +{-# ANN baz Debug #-} +baz n = bar n + +{- Currently fails with: + cs006: crash! +-in bar, cs006.hs:13,9 +-in baz, cs006.hs:17,9 +-in bar, cs006.hs:14,9 +-... ++in bar, cs006.hs:13,1 + in main, cs006.hs:10,3 + +Reasons the same as cs005. This test is here just to make sure that +having no exports (as opposed to explicit exports in cs005) behave the +same +-} addfile ./tests/ghc-regress/callStackCore/cs006.stderr hunk ./tests/ghc-regress/callStackCore/cs006.stderr 1 +cs006.exe: crash! +in bar, cs006.hs:13,9 +in baz, cs006.hs:17,9 +in bar, cs006.hs:14,9 +... +in main, cs006.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs007.hs hunk ./tests/ghc-regress/callStackCore/cs007.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar :: Int -> Int +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = baz (n - 1) + +{-# ANN baz Debug #-} +baz :: Int -> Int +baz n = bar n + addfile ./tests/ghc-regress/callStackCore/cs007.stderr hunk ./tests/ghc-regress/callStackCore/cs007.stderr 1 +cs007.exe: crash! +in bar, cs007.hs:14,9 +in baz, cs007.hs:19,9 +in bar, cs007.hs:15,9 +... +in main, cs007.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs008.hs hunk ./tests/ghc-regress/callStackCore/cs008.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar True 5 `seq` return () + +{-# ANN bar Debug #-} +bar :: a -> Int -> Int +bar x 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar x n = baz x (n - 1) + +{-# ANN baz Debug #-} +baz ::a -> Int -> Int +baz x n = bar x n + addfile ./tests/ghc-regress/callStackCore/cs008.stderr hunk ./tests/ghc-regress/callStackCore/cs008.stderr 1 +cs008.exe: crash! +in bar, cs008.hs:14,11 +in baz, cs008.hs:19,11 +in bar, cs008.hs:15,11 +... +in main, cs008.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs009.hs hunk ./tests/ghc-regress/callStackCore/cs009.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar Nothing 5 `seq` return () + +{-# ANN bar Debug #-} +bar :: Maybe a -> Int -> Int +bar x 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar x n = baz x (n - 1) + +{-# ANN baz Debug #-} +baz ::Maybe a -> Int -> Int +baz x n = bar x n + addfile ./tests/ghc-regress/callStackCore/cs009.stderr hunk ./tests/ghc-regress/callStackCore/cs009.stderr 1 +cs009.exe: crash! +in bar, cs009.hs:14,11 +in baz, cs009.hs:19,11 +in bar, cs009.hs:15,11 +... +in main, cs009.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs010.hs hunk ./tests/ghc-regress/callStackCore/cs010.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module CS010(foo) where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +{-# ANN foo Debug #-} +foo = bar ++ "hello" + +{-# ANN bar Debug #-} +bar = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) + addfile ./tests/ghc-regress/callStackCore/cs010.stderr hunk ./tests/ghc-regress/callStackCore/cs010.stderr 1 +cs010.exe: crash! +in bar, .\CS010.hs:12,7 +in foo, .\CS010.hs:9,7 +in main, CS010Main.hs:7,14 addfile ./tests/ghc-regress/callStackCore/cs011.hs hunk ./tests/ghc-regress/callStackCore/cs011.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5000000 `seq` return () + +{-# ANN bar Debug #-} +bar :: Int -> Int +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = baz (n - 1) + +{-# ANN baz Debug #-} +baz :: Int -> Int +baz n = bar n + +{- Currently fails in ghci, for reasons reported in bug #2797 -} addfile ./tests/ghc-regress/callStackCore/cs011.stderr hunk ./tests/ghc-regress/callStackCore/cs011.stderr 1 +cs011.exe: crash! +in bar, cs011.hs:14,9 +in baz, cs011.hs:19,9 +in bar, cs011.hs:15,9 +... +in main, cs011.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs012.hs hunk ./tests/ghc-regress/callStackCore/cs012.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Cs012 where + +import GHC.ExplicitCallStack.Annotation + +class TestClass a where + tc :: a + to :: a + +{-# ANN tc Debug #-} addfile ./tests/ghc-regress/callStackCore/cs012.stderr hunk ./tests/ghc-regress/callStackCore/cs012.stderr 1 +Loading package ghc-prim ... linking ... done. +Loading package integer ... linking ... done. +Loading package base ... linking ... done. +Loading package array-0.2.0.0 ... linking ... done. +Loading package containers-0.2.0.0 ... linking ... done. +Loading package packedstring-0.1.0.1 ... linking ... done. +Loading package pretty-1.0.1.0 ... linking ... done. +Loading package template-haskell ... linking ... done. +Loading package ffi-1.0 ... linking ... done. addfile ./tests/ghc-regress/callStackCore/cs013.hs hunk ./tests/ghc-regress/callStackCore/cs013.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation + +{-# ANN tc Debug #-} +main :: IO () +main = do + tc Empty `seq` return () + +data TestRecord a = TR { tc :: a, to :: a } + | Empty + + +{- Currently fails with: + cs013: No match in record selector Main.tc +-in main, cs013.hs: + +This is due to record error functions not being re-written. +There are 2 possible fixes to this; either extend the pass to explicitly detect +the recSel error in Control.Exception.Base (messy, as this currently :: Addr# -> a +which would involve some changes to be rewritable sanely) + +or + +Fix the bootstrapping issue so that we can re-write recSel in terms of throwStack +and have a debugged version of recSel +-} addfile ./tests/ghc-regress/callStackCore/cs013.stderr hunk ./tests/ghc-regress/callStackCore/cs013.stderr 1 +cs013: No match in record selector Main.tc +in main, cs013.hs:9,3 addfile ./tests/ghc-regress/callStackCore/cs014.hs hunk ./tests/ghc-regress/callStackCore/cs014.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Cs014 where + +import GHC.ExplicitCallStack.Annotation + +data Test a = Test a + +tc :: Test a -> a +tc (Test b) = b + +{-# ANN tc Debug #-} addfile ./tests/ghc-regress/callStackCore/cs014.stderr hunk ./tests/ghc-regress/callStackCore/cs014.stderr 1 +Loading package ghc-prim ... linking ... done. +Loading package integer ... linking ... done. +Loading package base ... linking ... done. +Loading package array-0.2.0.0 ... linking ... done. +Loading package containers-0.2.0.0 ... linking ... done. +Loading package packedstring-0.1.0.1 ... linking ... done. +Loading package pretty-1.0.1.0 ... linking ... done. +Loading package template-haskell ... linking ... done. +Loading package ffi-1.0 ... linking ... done. addfile ./tests/ghc-regress/callStackCore/cs015.hs hunk ./tests/ghc-regress/callStackCore/cs015.hs 1 +{-# OPTIONS_GHC -fexplicit-call-stack #-} +module Cs013 where + +import GHC.ExplicitCallStack.Annotation + +data Test a = Test a a + +tc :: Test a -> a +tc (Test a _) = a + +to :: Test a -> a +to (Test _ b) = b + +{-# ANN tc Debug #-} + + addfile ./tests/ghc-regress/callStackCore/cs015.stderr hunk ./tests/ghc-regress/callStackCore/cs015.stderr 1 +Loading package ghc-prim ... linking ... done. +Loading package integer ... linking ... done. +Loading package base ... linking ... done. +Loading package array-0.2.0.0 ... linking ... done. +Loading package containers-0.2.0.0 ... linking ... done. +Loading package packedstring-0.1.0.1 ... linking ... done. +Loading package pretty-1.0.1.0 ... linking ... done. +Loading package template-haskell ... linking ... done. +Loading package ffi-1.0 ... linking ... done. addfile ./tests/ghc-regress/callStackCore/cs017.hs hunk ./tests/ghc-regress/callStackCore/cs017.hs 1 +{-# OPTIONS_GHC -O0 -fexplicit-call-stack #-} +module Main(main) where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar :: (Num a) => a -> a +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = bar (n - 1) + + addfile ./tests/ghc-regress/callStackCore/cs017.stderr hunk ./tests/ghc-regress/callStackCore/cs017.stderr 1 +cs017: crash! +in bar, cs017.hs:14,9 +in bar, cs017.hs:15,9 +... +in main, cs017.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs018.hs hunk ./tests/ghc-regress/callStackCore/cs018.hs 1 +{-# OPTIONS_GHC -O0 -fexplicit-call-stack #-} +module Main where + +import GHC.ExplicitCallStack.Annotation +import GHC.ExplicitCallStack.Stack +import Control.Exception + +main :: IO () +main = do + bar 5 `seq` return () + +{-# ANN bar Debug #-} +bar :: Num a => a -> a +bar 0 = throwStack (\s -> ErrorCall $ "crash!\n" ++ show s) +bar n = baz (n - 1) + +{-# ANN baz Debug #-} +baz :: Num a => a -> a +baz n = bar n + +{- Currently fails for me with: + + cs018: crash! +-in bar, cs018.hs:14,9 +-in baz, cs018.hs:19,9 +-in bar, cs018.hs:15,9 ++in bar, cs018.hs:14,1 ++in baz, cs018.hs:19,1 ++in bar, cs018.hs:14,1 + ... + in main, cs018.hs:10,3 + +The source locations are wrong, IIUC, because of the way that AbsBinds associate with +source locations. See also cs005.hs +-} addfile ./tests/ghc-regress/callStackCore/cs018.stderr hunk ./tests/ghc-regress/callStackCore/cs018.stderr 1 +cs018: crash! +in bar, cs018.hs:14,9 +in baz, cs018.hs:19,9 +in bar, cs018.hs:15,9 +... +in main, cs018.hs:10,3 addfile ./tests/ghc-regress/callStackCore/cs019.stderr hunk ./tests/ghc-regress/callStackCore/cs019.stderr 1 +cs019: No DT: +in bang, .\CS019.hs:23,13 +in baz, .\CS019.hs:19,9 +in bar, .\CS019.hs:16,9 +in boo, CS019Main.hs:10,22 +in main, CS019Main.hs:6,16 +in main, CS019Main.hs:6,1 } [Updates to call stack tests tora@zonetora.co.uk**20090421170836 Ignore-this: d13bd1ef2ca9bfe957c7900a21fb812 ] { move ./tests/ghc-regress/callStackCore/cs010.hs ./tests/ghc-regress/callStackCore/CS010.hs hunk ./tests/ghc-regress/callStackCore/cs010.stderr 2 cs010.exe: crash! -in bar, .\CS010.hs:12,7 -in foo, .\CS010.hs:9,7 +in bar, ./CS010.hs:12,7 +in foo, ./CS010.hs:9,7 in main, CS010Main.hs:7,14 hunk ./tests/ghc-regress/callStackCore/cs012.stderr 4 Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. -Loading package array-0.2.0.0 ... linking ... done. -Loading package containers-0.2.0.0 ... linking ... done. +Loading package array-0.2.0.1 ... linking ... done. +Loading package containers-0.2.0.1 ... linking ... done. Loading package packedstring-0.1.0.1 ... linking ... done. Loading package pretty-1.0.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. hunk ./tests/ghc-regress/callStackCore/cs014.stderr 4 Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. -Loading package array-0.2.0.0 ... linking ... done. -Loading package containers-0.2.0.0 ... linking ... done. +Loading package array-0.2.0.1 ... linking ... done. +Loading package containers-0.2.0.1 ... linking ... done. Loading package packedstring-0.1.0.1 ... linking ... done. Loading package pretty-1.0.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. hunk ./tests/ghc-regress/callStackCore/cs015.stderr 4 Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. -Loading package array-0.2.0.0 ... linking ... done. -Loading package containers-0.2.0.0 ... linking ... done. +Loading package array-0.2.0.1 ... linking ... done. +Loading package containers-0.2.0.1 ... linking ... done. Loading package packedstring-0.1.0.1 ... linking ... done. Loading package pretty-1.0.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. hunk ./tests/ghc-regress/callStackCore/cs019.stderr 2 cs019: No DT: -in bang, .\CS019.hs:23,13 -in baz, .\CS019.hs:19,9 -in bar, .\CS019.hs:16,9 +in bang, ./CS019.hs:23,13 +in baz, ./CS019.hs:19,9 +in bar, ./CS019.hs:16,9 in boo, CS019Main.hs:10,22 in main, CS019Main.hs:6,16 in main, CS019Main.hs:6,1 } Context: [Add a boot target, and tidy up the Makefile a bit Ian Lynagh **20090110214204] [Fix test 2566 in the new build system Ian Lynagh **20090109211835] [Update tests following change to pretty printing Haddock comments David Waern **20090110203539] [Fix rn.prog006 on Windows Ian Lynagh **20090109182257] [Make ghciprog004 not rely on $(CC) being correctly defined Ian Lynagh **20090109180953] [Fix readwrite00[12] on Windows Ian Lynagh **20090109180745] [Fix ioeGetHandle001 on Windows Ian Lynagh **20090109180713] [Fix ioeGetFileName001 on Windows Ian Lynagh **20090109180652] [Fix ioeGetErrorString001 on Windows Ian Lynagh **20090109180630] [Fix hSeek003 on Windows Ian Lynagh **20090109180609] [Fix hSeek002 on Windows Ian Lynagh **20090109180549] [Fix hReady001 on Windows Ian Lynagh **20090109180525] [Fix hIsEOF002 on Windows Ian Lynagh **20090109180500] [Fix hGetPosn001 on Windows Ian Lynagh **20090109180429] [Fix hGetLine001 Ian Lynagh **20090109180309] [Tidy up the Makefile Ian Lynagh **20090109160356] [Remove target.mk Ian Lynagh **20090109160332] [Remove redundant CLEAN_FILES Ian Lynagh **20090109160110] [Add clean and distclean targets Ian Lynagh **20090109153929] [Remove otu-of-date comments Ian Lynagh **20090109152347] [Fix timeout's clean target Ian Lynagh **20090109152232] [Look for .exe when looking for the compiler, too Ian Lynagh **20090109151915] [Add a "show" target Ian Lynagh **20090109151633] [Wibble error message to not confused vim's syntax highlighting Ian Lynagh **20090109151613] [When checking programs exists, check prog.exe too Ian Lynagh **20090109150940] [Check that make supports eval Ian Lynagh **20090109150843] [Don't insist on python being in /usr/bin Ian Lynagh **20090109144758] [Put the endif's in the right places Ian Lynagh **20090108161931] [Actually define TEST_HC for the new build system Ian Lynagh **20090108161809] [Better error messages Ian Lynagh **20090108161708] [Disentangle the testsuite from the compiler's build system Ian Lynagh **20090108161100] [Remove uses of MKDIRHIER in favour of mkdir Ian Lynagh **20090108155818] [Remove uses of pwd in favour of abspath Ian Lynagh **20090108155459] [Consistently use GHC_PKG instead of GHC_PKG_INPLACE Ian Lynagh **20090108143135] [Test Trac #2914 simonpj@microsoft.com**20090108123927] [add test for #2910; move #1980 into validate Simon Marlow **20090106153210] [Test Trac #2756 simonpj@microsoft.com**20090102152606] [Add comments to a very tricky test simonpj@microsoft.com**20090102145608] [Change in error messages simonpj@microsoft.com**20090102145549] [Test Trac #2721 simonpj@microsoft.com**20081231164227] [Track error message changes simonpj@microsoft.com**20081231155707] [Use -XImpredicativeTypes instead of -fglasgow-exts simonpj@microsoft.com**20081231155601] [Test Trac #2856 simonpj@microsoft.com**20081231155509] [Test for empty type indices (Trac #2888) simonpj@microsoft.com**20081230170152] [Test Trac #2851, and update error message for other tests simonpj@microsoft.com**20081230165958] [Track new quotes in error message simonpj@microsoft.com**20081230145859] [Test Trac #2901 simonpj@microsoft.com**20081230145836] [Add test for #2739 (tests that it works with HscInterpreted). Thomas Schilling **20081219144223] [Add first test for GHC API features. Thomas Schilling **20081127105929] [fix typo Simon Marlow **20081218091555] [break018 is expected to pass again after the INLINE patch rollback Simon Marlow **20081217153559] [Make the testsuite work with the new build system Simon Marlow **20081217125046] [Fix this test: it was using a C finalizer that called back into Haskell Simon Marlow **20081216101140 Which isn't allowed using the ordinary newForeignPtr any more, it has to be done with Foreign.Concurrent.newForeignPtr. ] [test for #2592 Simon Marlow **20081215111427] [check for valid .prof files when profiling Simon Marlow **20081215111403] [FIX #1364: added tests for C finalizers. Ivan Tomac **20081210150959 Patch amended by Simon Marlow: - Test addForeignPtrFinalizerEnv too ] [add test for #2838 Simon Marlow **20081209114410] [Add a test that we ignore OPTIONS_HUGS pragmas Ian Lynagh **20081209191114] [Add a test for trac #2847: Parsing OPTIONS_NO_SUCH_PRAGMA pragma Ian Lynagh **20081209190822] [Mark break018 broken (#2845) Ian Lynagh **20081206000423] [Remove INLINE for recursive function simonpj@microsoft.com**20081205171611] [Clean .exe.manifest files Ian Lynagh **20081203135541] [Follow improved error message simonpj@microsof.com**20081201163016] [Simple17 passes simonpj@microsof.com**20081201101834] [Test Trac #2817 simonpj@microsof.com**20081126154331] [Test Trac #2756 simonpj@microsof.com**20081126143808] [Update output to follow :t output formatting change simonpj@microsof.com**20081126134736] [Test Trac #2766 simonpj@microsof.com**20081126133106] [add test for #2740 Simon Marlow **20081125103402] [Test Trac #2799 simonpj@microsof.com**20081125110946] [small fix to the space-leak testing framework Simon Marlow **20081125100934] [Add some 6.10-specific output Ian Lynagh **20081123193302] [Don't show whitespace differences when diffing test results Ian Lynagh **20081123133300] [Add a space leak test, and some infrastructure for checking space usage Ian Lynagh **20081123164014] [Follow changes in pragma error reporting. Thomas Schilling **20081121160235 Parse errors in pragmas are now normal error messages and printed as such. The full span info is still there, but not by default we only print the start of the region (for backwards compatibility). GHC API clients will get the full source span info (and users can still get it via -ferror-spans). ] [add test for #2783 Simon Marlow **20081117164854] [make this test a bit more robust Simon Marlow **20081114113859] [-package syb is required when linking now that array doesn't depend on syb Simon Marlow **20081114101303] [make it so that WAY=profthreaded works Simon Marlow **20081112154221] [Add a test that $( (\b -> [| b |]) True ) works Ian Lynagh **20081112135613] [add a DLL building test (#2745) Simon Marlow **20081110094845] [Add some 6.10-specific test outputs Ian Lynagh **20081109212017] [Increase the requirements for the annotations tests from 6.9 to 6.11 Ian Lynagh **20081109211524] [TAG GHC 6.10.1 release Ian Lynagh **20081107191824] [extra_clean for rename.prog005 Simon Marlow **20081103150523] [extra_clean for T2685 Simon Marlow **20081103150315] [Test Trac #2735 simonpj@microsof.com**20081103142217] [Follow improvements in type signatures simonpj@microsof.com**20081031090642] [Make ann01 not depend on linking order simonpj@microsof.com**20081030132215] [Test annotations Max Bolingbroke **20081016154455] [Tests for Trac #2674 simonpj@microsof.com**20081030094721] [Add GHC 6.10 output for some tests Ian Lynagh **20081029205326] [We expect tc244 to fail in the 6.10 branch Ian Lynagh **20081029162514] [Add 6.10 output for tests gadt11, tcfail155, tcfail176 Ian Lynagh **20081029162104] [TF_GADT fails in 6.10 Ian Lynagh **20081029160839] [Expect T2723 to fail in 6.10 Ian Lynagh **20081029155858] [Track changes in naming of class dictionaries, coercions etc simonpj@microsoft.com**20081029142425] [Add -fno-method-sharing to eyeball/inline1.hs simonpj@microsoft.com**20081029142228] [Skip qq005(hpc) in the 6.10 branch; trac #1779 Ian Lynagh **20081028205719] [Omit the profiling ways when running qq005 Ian Lynagh **20081028174704 We'd need to jump through some hoops to run this test the profiling ways, due to the TH use, so for now we just omit them ] [Skip bytestring00{1,4,5} (designed for an earlier version of bytestring) Ian Lynagh **20081027185817] [Test for existential record update (cf Trac #2595) simonpj@microsoft.com**20081028115524] [Test Trac #2723 simonpj@microsoft.com**20081028110244] [Test Trac #2713 simonpj@microsoft.com**20081027223522] [Update output to follow improved error messages for fixity decls simonpj@microsoft.com**20081027222448] [Test Trac #2701 simonpj@microsoft.com**20081025171123] [Test Trac #2700 simonpj@microsoft.com**20081025164338] [skip conc069/conc070(ghci) if we have no threaded RTS Simon Marlow **20081023081250] [Test Trac #2714 simonpj@microsoft.com**20081022145517] [TFs: 7 tests fail as they used unsupported superclass equalities Manuel M T Chakravarty **20081021135941] [Improved error message on data constructor return types simonpj@microsoft.com**20081021063933] [Track error message change in deriving simonpj@microsoft.com**20081021063859] [Add test for data instances that are GADTs simonpj@microsoft.com**20081021043459] [T2693 Manuel M T Chakravarty **20081021115858] [T2688 Manuel M T Chakravarty **20081021043343] [Skip 2228 on Windows Ian Lynagh **20081019230413] [Wibble to output simonpj@microsof.com**20081015102844] [Update test output simonpj@microsof.com**20081015084111] [add test for #2685 Simon Marlow **20081013122050] [add test for #2636 Simon Marlow **20081010131452] [add test for #2589 Simon Marlow **20081009094639] [make this test more reliable, and enable threaded2 Simon Marlow **20081009094254] [update output (Show Ratio changes) Simon Marlow **20081009085358] [TFs: T2639 Manuel M T Chakravarty **20081009132645] [TFs: Examples for Relaxed Conditions Manuel M T Chakravarty **20081004114546] [Comments only simonpj@microsof.com**20081003141316] [Add test for Trac #2632 simonpj@microsof.com**20081003141244] [Tweak break017 Ian Lynagh **20081002213202] [TFs: Test for repeated tvs in left-hand sides of instances Manuel M T Chakravarty **20081002142712] [TFs: T2291 Manuel M T Chakravarty **20081002055002] [omit ways that run out of time Simon Marlow **20081002101157] [accept output, and enable cg026 in validate Simon Marlow **20081002100444] [add IOList optimisation example Simon Marlow **20081002093717] [accept output (Show Ratio changes) Simon Marlow **20081002083641] [add an extra delay to make this test a bit more robust Simon Marlow **20081002083623] [accept break017 output (seems to be correct), and enable it in validate Simon Marlow **20081002083135] [tcfail145 error message improved, too Manuel M T Chakravarty **20081002052448] [TFs: T2448 Manuel M T Chakravarty **20081002045510] [TFs: Proper error message for GADT12 Manuel M T Chakravarty **20081001144244] [Print out exceptions when cleaning tests Ian Lynagh **20081001194813] [add test for #2410 Simon Marlow **20080930150803] [TFs: Fixed InstContextNorm Manuel M T Chakravarty **20081001130446] [GADTs/TFs: Added T2151 & TF's Simple14 passes Manuel M T Chakravarty **20081001053109] [add test for #2594 Simon Marlow **20080930115425] [Type families: T2627b Manuel M T Chakravarty **20080930054017] [Type families: Tricky GADT/RankN/TF example Manuel M T Chakravarty **20080930033644] [Type families: T2627 Manuel M T Chakravarty **20080930020317] [Type families: fixed GivenCheckDecomp Manuel M T Chakravarty **20080929140957] [Type families: T2219 Manuel M T Chakravarty **20080929074819] [GADTs: T2040 Manuel M T Chakravarty **20080929073535] [we can observe the exception again in break011 pepe iborra **20080926212515] [Fix the mode001 test on OS X Ian Lynagh **20080927161551] [add test for #2295 (-outputdir) Simon Marlow **20080923145850] [oops, we haven't been running tests from packages for goodness knows how long Simon Marlow **20080926233700] [Improve the mode001 test Ian Lynagh **20080926142730] [Type families: another small tricky example of SPJ Manuel M T Chakravarty **20080925230155] [Test Trac #303 simonpj@microsoft.com**20080925230530] [Fix conflicting_flags output Ian Lynagh **20080925184801] [Add a test that the --help and --version flags behave properly Ian Lynagh **20080925165553] [Update ghci025 output Ian Lynagh **20080925153956] [Type families: test for decomposition problem Manuel M T Chakravarty **20080925084015] [Add a test for ":i thisIsNotDefined" Ian Lynagh **20080924235240 It used to make ghci exit ] [Skip the new qualified operator syntax tests in 6.10 Ian Lynagh **20080924160332] [Fix the driver100 test Ian Lynagh **20080924152649] [Update the ws-64 output for the arith011 test Ian Lynagh **20080924151947] [add test for #2499 (package flags in OPTIONS pragmas) Simon Marlow **20080923175620] [accept output (Show Ratio changes, #1920) Simon Marlow **20080923144155] [add test for #2566, also enable driver100 which wasn't being run Simon Marlow **20080923140120] [add tests for -XNewQualifiedOperators Simon Marlow **20080922213748] [make this test THREADS friendly Simon Marlow **20080922213649] [add test for #2228 Simon Marlow **20080430204612] [Minor change in error message simonpj@microsoft.com**20080920210508] [Add tests for Trac #2597 simonpj@microsoft.com**20080920210420] [Test Trac #2587 simonpj@microsoft.com**20080915150402] [TAG 2008-09-20 Ian Lynagh **20080920162649] Patch bundle hash: a954838bafe46231326d2d114d6f36442a7e15d8