| 1 | |
|---|
| 2 | New patches: |
|---|
| 3 | |
|---|
| 4 | [HughesPJ tests with automated high-level coverage check (part of #1337) |
|---|
| 5 | Thorkil Naur <naur@post11.tele.dk>**20070916181104] { |
|---|
| 6 | hunk ./tests/ghc-regress/lib/PrettyPrint/Makefile 5 |
|---|
| 7 | +# Command used for running Haskell tools needed in the tests: |
|---|
| 8 | +RUNHASKELL = runhaskell |
|---|
| 9 | + |
|---|
| 10 | +# Generate instrumented HughesPJ and list of all high-level trace: |
|---|
| 11 | +HughesPJInstrumented.hs HughesPJInstrumented.trace.all.out : PpInstrument.hs |
|---|
| 12 | + @$(RUNHASKELL) PpInstrument.hs HughesPJInstrumented \ |
|---|
| 13 | + <$(TOP)/../libraries/pretty/Text/PrettyPrint/HughesPJ.hs \ |
|---|
| 14 | + 1>HughesPJInstrumented.hs 2>HughesPJInstrumented.trace.all.out |
|---|
| 15 | + |
|---|
| 16 | +# Complete list of Pp test stems. Must correspond to the list in all.T: |
|---|
| 17 | +PP_TEST_STEMS = 003 004 005 006 007 |
|---|
| 18 | + |
|---|
| 19 | +# Lists derived from the test suffixes: |
|---|
| 20 | +TEST_PREFIX = Pp |
|---|
| 21 | +PP_TEST_NAMES = $(addprefix $(TEST_PREFIX),$(PP_TEST_STEMS)) |
|---|
| 22 | +TRACE_SUFFIX = .trace.out |
|---|
| 23 | +PP_TEST_TRACES = $(addsuffix $(TRACE_SUFFIX),$(PP_TEST_NAMES)) |
|---|
| 24 | +TARGET_PREFIX = test |
|---|
| 25 | +PP_TEST_TARGETS = $(addprefix $(TARGET_PREFIX),$(PP_TEST_STEMS)) |
|---|
| 26 | + |
|---|
| 27 | +# Command sequence to run single test. |
|---|
| 28 | +# Substitute -TEST_STEM- for the actual test suffix before use: |
|---|
| 29 | +define RUN_TEST |
|---|
| 30 | +@echo Compiling -TEST_STEM- |
|---|
| 31 | +@$(TEST_HC) -v0 -fforce-recomp --make $(TEST_PREFIX)-TEST_STEM-.hs \ |
|---|
| 32 | + -o $(TEST_PREFIX)-TEST_STEM- |
|---|
| 33 | +@echo Running -TEST_STEM- |
|---|
| 34 | +./$(TEST_PREFIX)-TEST_STEM- 2>$(TEST_PREFIX)-TEST_STEM-$(TRACE_SUFFIX) \ |
|---|
| 35 | + | tr ' ' '.' |
|---|
| 36 | +@$(RUNHASKELL) PpLinesDiff.hs $(TEST_PREFIX)-TEST_STEM-$(TRACE_SUFFIX) \ |
|---|
| 37 | + <HughesPJInstrumented.trace.all.out 1>&2 |
|---|
| 38 | +@echo Done -TEST_STEM- |
|---|
| 39 | +endef |
|---|
| 40 | + |
|---|
| 41 | +.PHONY: $(PP_TEST_TARGETS) |
|---|
| 42 | +$(PP_TEST_TARGETS): HughesPJInstrumented.hs HughesPJInstrumented.trace.all.out |
|---|
| 43 | + $(subst -TEST_STEM-,$(subst $(TARGET_PREFIX),,$@),$(RUN_TEST)) |
|---|
| 44 | + |
|---|
| 45 | +$(PP_TEST_TRACES) : $(TEST_PREFIX)%$(TRACE_SUFFIX) : \ |
|---|
| 46 | + $(TEST_PREFIX)%.hs HughesPJInstrumented.hs HughesPJInstrumented.trace.all.out |
|---|
| 47 | + $(subst -TEST_STEM-,$(subst $(TEST_PREFIX),,$(subst $(TRACE_SUFFIX),,$@)),$(RUN_TEST)) |
|---|
| 48 | + |
|---|
| 49 | +# Verify uncovered cases. PpShouldNeverHappen.trace contains traces of |
|---|
| 50 | +# high-level definitions that should never happen. PpUncovered.trace contains |
|---|
| 51 | +# traces of high-level definitions that we have not been able to cover using |
|---|
| 52 | +# the exported functions. In a sense, therefore, PpUncovered.trace represents |
|---|
| 53 | +# outstanding work: Either a definite verification that a definition is unused |
|---|
| 54 | +# and should be removed (or its trace moved to PpShouldNeverHappen.trace). Or |
|---|
| 55 | +# additional uses of the exported functions that cover the particular |
|---|
| 56 | +# definition. |
|---|
| 57 | +test_coverage : $(PP_TEST_TRACES) HughesPJInstrumented.trace.all.out |
|---|
| 58 | + @cat $(PP_TEST_TRACES) PpShouldNeverHappen.trace PpUncovered.trace \ |
|---|
| 59 | + | $(RUNHASKELL) PpLinesDiff.hs HughesPJInstrumented.trace.all.out |
|---|
| 60 | + |
|---|
| 61 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp.hs |
|---|
| 62 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp.hs 1 |
|---|
| 63 | +-- Pp.hs: Pretty printing test functions |
|---|
| 64 | + |
|---|
| 65 | +module Pp where |
|---|
| 66 | + |
|---|
| 67 | + import HughesPJInstrumented |
|---|
| 68 | + |
|---|
| 69 | + ppR ll rib doc |
|---|
| 70 | + = renderStyle |
|---|
| 71 | + ( |
|---|
| 72 | + Style { |
|---|
| 73 | + mode = PageMode, |
|---|
| 74 | + lineLength = ll, |
|---|
| 75 | + ribbonsPerLine = fromIntegral ll/fromIntegral rib |
|---|
| 76 | + } |
|---|
| 77 | + ) |
|---|
| 78 | + doc |
|---|
| 79 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp003.hs |
|---|
| 80 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp003.hs 1 |
|---|
| 81 | +-- Pp003.hs: Test fix of wrong indentation from Text.PrettyPrint.HughesPJ fill (fcat and fsep) |
|---|
| 82 | + |
|---|
| 83 | +module Main where |
|---|
| 84 | + |
|---|
| 85 | + import HughesPJInstrumented |
|---|
| 86 | + import Pp |
|---|
| 87 | + |
|---|
| 88 | + l = ppR 6 6 $ nest 3 $ |
|---|
| 89 | + fcat [nest 1 $ text "a", nest 2 $ text "b", text "c"] |
|---|
| 90 | + |
|---|
| 91 | + main = putStr $ l ++ "\n" |
|---|
| 92 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp003.stdout |
|---|
| 93 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp003.stdout 1 |
|---|
| 94 | +Compiling 003 |
|---|
| 95 | +Running 003 |
|---|
| 96 | +./Pp003 2>Pp003.trace.out | tr ' ' '.' |
|---|
| 97 | +....ab |
|---|
| 98 | +...c |
|---|
| 99 | +Done 003 |
|---|
| 100 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp004.hs |
|---|
| 101 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp004.hs 1 |
|---|
| 102 | +-- Pp004.hs: Test Text.PrettyPrint.HughesPJ simple coverage |
|---|
| 103 | + |
|---|
| 104 | +module Main where |
|---|
| 105 | + |
|---|
| 106 | + import HughesPJInstrumented |
|---|
| 107 | + import Ratio |
|---|
| 108 | + |
|---|
| 109 | + l1 = renderStyle style $ |
|---|
| 110 | + char 'c' |
|---|
| 111 | + <> text "text" |
|---|
| 112 | + <> ptext "ptext" |
|---|
| 113 | + <> comma |
|---|
| 114 | + <> semi |
|---|
| 115 | + <> colon |
|---|
| 116 | + <> space |
|---|
| 117 | + <> equals |
|---|
| 118 | + <> lparen |
|---|
| 119 | + <> rparen |
|---|
| 120 | + <> lbrack |
|---|
| 121 | + <> rbrack |
|---|
| 122 | + <> lbrace |
|---|
| 123 | + <> rbrace |
|---|
| 124 | + <> quotes (int 17) |
|---|
| 125 | + <> doubleQuotes (integer 38) |
|---|
| 126 | + <> parens (float 144.18) |
|---|
| 127 | + <> brackets (double (negate 38.3)) |
|---|
| 128 | + <> braces (rational $ 3 % 4) |
|---|
| 129 | + l2 = renderStyle ( |
|---|
| 130 | + Style { |
|---|
| 131 | + mode = OneLineMode |
|---|
| 132 | + , lineLength = 0 |
|---|
| 133 | + , ribbonsPerLine = 0.0 |
|---|
| 134 | + } |
|---|
| 135 | + ) |
|---|
| 136 | + $ text "l2" |
|---|
| 137 | + l3 = render $ text "l3" |
|---|
| 138 | + l4 = renderStyle ( |
|---|
| 139 | + Style { |
|---|
| 140 | + mode = LeftMode |
|---|
| 141 | + , lineLength = 10 |
|---|
| 142 | + , ribbonsPerLine = 1.0 |
|---|
| 143 | + } |
|---|
| 144 | + ) |
|---|
| 145 | + $ text "l4" |
|---|
| 146 | + l5 = renderStyle ( |
|---|
| 147 | + Style { |
|---|
| 148 | + mode = ZigZagMode |
|---|
| 149 | + , lineLength = 5 |
|---|
| 150 | + , ribbonsPerLine = 1.5 |
|---|
| 151 | + } |
|---|
| 152 | + ) |
|---|
| 153 | + $ vcat $ map (\k -> nest k $ text "t" <> int k) [1..5] |
|---|
| 154 | + d = text "nonempty" |
|---|
| 155 | + |
|---|
| 156 | + main |
|---|
| 157 | + = do |
|---|
| 158 | + putStr $ l1 ++ "\n" |
|---|
| 159 | + putStr $ l2 ++ "\n" |
|---|
| 160 | + putStr $ l3 ++ "\n" |
|---|
| 161 | + putStr $ l4 ++ "\n" |
|---|
| 162 | + putStr $ l5 ++ "\n" |
|---|
| 163 | + putStr $ ( if isEmpty empty then "" else "*NOT* " ) ++ "isEmpty empty\n" |
|---|
| 164 | + putStr $ |
|---|
| 165 | + show d ++ " " |
|---|
| 166 | + ++ if isEmpty d then "*EMPTY*" else "(non-empty)" |
|---|
| 167 | + ++ "\n" |
|---|
| 168 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp004.stdout |
|---|
| 169 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp004.stdout 1 |
|---|
| 170 | +Compiling 004 |
|---|
| 171 | +Running 004 |
|---|
| 172 | +./Pp004 2>Pp004.trace.out | tr ' ' '.' |
|---|
| 173 | +ctextptext,;:.=()[]{}'17'"38"(144.18)[-38.3]{3%4} |
|---|
| 174 | +l2 |
|---|
| 175 | +l3 |
|---|
| 176 | +l4 |
|---|
| 177 | +.t1 |
|---|
| 178 | + |
|---|
| 179 | +/ |
|---|
| 180 | +.t2 |
|---|
| 181 | + |
|---|
| 182 | +/ |
|---|
| 183 | +.t3 |
|---|
| 184 | + |
|---|
| 185 | +/ |
|---|
| 186 | +.t4 |
|---|
| 187 | + |
|---|
| 188 | +/ |
|---|
| 189 | +.t5 |
|---|
| 190 | +isEmpty.empty |
|---|
| 191 | +nonempty.(non-empty) |
|---|
| 192 | +Done 004 |
|---|
| 193 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp005.hs |
|---|
| 194 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp005.hs 1 |
|---|
| 195 | +-- Pp005.hs: Basic combinators |
|---|
| 196 | + |
|---|
| 197 | +module Main where |
|---|
| 198 | + |
|---|
| 199 | + import HughesPJInstrumented |
|---|
| 200 | + import Pp |
|---|
| 201 | + |
|---|
| 202 | + l1 = ppR 6 6 $ text "a" <> ( text "b" $$ text "c" ) <> text "d" |
|---|
| 203 | + l2 = ppR 6 6 $ text "e" <+> ( text "f" $$ text "g" ) <+> text "h" |
|---|
| 204 | + l3 = ppR 6 6 $ text "i" $$ ( text "j" $$ text "k" ) $$ text "l" |
|---|
| 205 | + l4 = ppR 6 6 $ text "1234" <> ( text "5" $+$ ( nest 3 $ text "6" ) ) <> text "7" |
|---|
| 206 | + l5 = ppR 6 6 $ text "mnop" <> ( text "q" $$ ( nest 3 $ text "r" ) ) <> text "s" |
|---|
| 207 | + l6 = ppR 6 6 $ text "tuvw" <> ( text "x" $$ ( nest (negate 3) $ text "y" ) ) <> text "z" |
|---|
| 208 | + l7 = ppR 6 6 $ text "ABCD" <> ( text "E" $$ ( nest (negate 4) $ text "F" ) ) <> text "G" |
|---|
| 209 | + l8 = ppR 6 6 $ text "HIJK" <> ( text "L" $$ ( nest (negate 5) $ text "M" ) ) <> text "N" |
|---|
| 210 | + l9 = ppR 6 6 $ text "O" <+> text "P" <> text "Q" |
|---|
| 211 | + l10 = ppR 6 6 $ nest 3 empty <> text "R" |
|---|
| 212 | + l11 = ppR 6 6 $ empty $$ text "S" |
|---|
| 213 | + |
|---|
| 214 | + main |
|---|
| 215 | + = do |
|---|
| 216 | + putStr $ l1 ++ "\n" |
|---|
| 217 | + putStr $ l2 ++ "\n" |
|---|
| 218 | + putStr $ l3 ++ "\n" |
|---|
| 219 | + putStr $ l4 ++ "\n" |
|---|
| 220 | + putStr $ l5 ++ "\n" |
|---|
| 221 | + putStr $ l6 ++ "\n" |
|---|
| 222 | + putStr $ l7 ++ "\n" |
|---|
| 223 | + putStr $ l8 ++ "\n" |
|---|
| 224 | + putStr $ l9 ++ "\n" |
|---|
| 225 | + putStr $ l10 ++ "\n" |
|---|
| 226 | + putStr $ l11 ++ "\n" |
|---|
| 227 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp005.stdout |
|---|
| 228 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp005.stdout 1 |
|---|
| 229 | +Compiling 005 |
|---|
| 230 | +Running 005 |
|---|
| 231 | +./Pp005 2>Pp005.trace.out | tr ' ' '.' |
|---|
| 232 | +ab |
|---|
| 233 | +.cd |
|---|
| 234 | +e.f |
|---|
| 235 | +..g.h |
|---|
| 236 | +i |
|---|
| 237 | +j |
|---|
| 238 | +k |
|---|
| 239 | +l |
|---|
| 240 | +12345 |
|---|
| 241 | +.......67 |
|---|
| 242 | +mnopq..rs |
|---|
| 243 | +tuvwx |
|---|
| 244 | +.yz |
|---|
| 245 | +ABCDE |
|---|
| 246 | +FG |
|---|
| 247 | +HIJKL |
|---|
| 248 | +MN |
|---|
| 249 | +O.PQ |
|---|
| 250 | +R |
|---|
| 251 | +S |
|---|
| 252 | +Done 005 |
|---|
| 253 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp006.hs |
|---|
| 254 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp006.hs 1 |
|---|
| 255 | +-- Pp006.hs: Combined combinators |
|---|
| 256 | + |
|---|
| 257 | +module Main where |
|---|
| 258 | + |
|---|
| 259 | + import Data.List |
|---|
| 260 | + |
|---|
| 261 | + import HughesPJInstrumented |
|---|
| 262 | + import Pp |
|---|
| 263 | + |
|---|
| 264 | + l1 = ppR 6 6 $ hcat [ text "a", text "b" $$ text "c", text "d" ] |
|---|
| 265 | + l2 = ppR 6 6 $ hsep [ text "e", text "f" $$ text "g", text "h" ] |
|---|
| 266 | + l3 = ppR 6 6 $ vcat [ text "i", text "j" $$ text "k", text "l" ] |
|---|
| 267 | + l4 = ppR 3 3 $ hang ( text "m" ) 2 ( text "n" ) |
|---|
| 268 | + l5 = ppR 3 3 $ hang ( text "op" ) 2 ( text "q" ) |
|---|
| 269 | + l6 = ppR 4 4 $ vcat $ map (cat . punctuate (text "/")) $ tails [ text "r", text "s", text "t" ] |
|---|
| 270 | + |
|---|
| 271 | + main |
|---|
| 272 | + = do |
|---|
| 273 | + putStr $ l1 ++ "\n" |
|---|
| 274 | + putStr $ l2 ++ "\n" |
|---|
| 275 | + putStr $ l3 ++ "\n" |
|---|
| 276 | + putStr $ l4 ++ "\n" |
|---|
| 277 | + putStr $ l5 ++ "\n" |
|---|
| 278 | + putStr $ l6 ++ "\n" |
|---|
| 279 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp006.stdout |
|---|
| 280 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp006.stdout 1 |
|---|
| 281 | +Compiling 006 |
|---|
| 282 | +Running 006 |
|---|
| 283 | +./Pp006 2>Pp006.trace.out | tr ' ' '.' |
|---|
| 284 | +ab |
|---|
| 285 | +.cd |
|---|
| 286 | +e.f |
|---|
| 287 | +..g.h |
|---|
| 288 | +i |
|---|
| 289 | +j |
|---|
| 290 | +k |
|---|
| 291 | +l |
|---|
| 292 | +m.n |
|---|
| 293 | +op |
|---|
| 294 | +..q |
|---|
| 295 | +r/ |
|---|
| 296 | +s/ |
|---|
| 297 | +t |
|---|
| 298 | +s/t |
|---|
| 299 | +t |
|---|
| 300 | +Done 006 |
|---|
| 301 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp007.hs |
|---|
| 302 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp007.hs 1 |
|---|
| 303 | +-- Pp007.hs: Additional coverage |
|---|
| 304 | + |
|---|
| 305 | +module Main where |
|---|
| 306 | + |
|---|
| 307 | + import Data.List |
|---|
| 308 | + |
|---|
| 309 | + import HughesPJInstrumented |
|---|
| 310 | + import Pp |
|---|
| 311 | + |
|---|
| 312 | + l6 = ppR 7 7 $ sep [ text "F", text "G", text "H", text "I" ] <> text "J" |
|---|
| 313 | + l7 = ppR 7 7 $ sep [ nest 2 $ sep [ text "K", text "L" ], text "M" ] |
|---|
| 314 | + l8 = ppR 3 3 $ sep [ text "NOP" $$ ( nest 2 $ text "Q" ), text "R" ] |
|---|
| 315 | + l9 = ppR 3 3 $ sep [ empty ] |
|---|
| 316 | + l11 = ppR 6 6 $ fsep [ sep [ text "S", text "T" ] ] |
|---|
| 317 | + l12 = ppR 6 6 $ text "l12" <> fsep [ empty ] |
|---|
| 318 | + l13 = ppR 7 7 $ fsep [ text "U" $$ text "V" ] |
|---|
| 319 | + |
|---|
| 320 | + main |
|---|
| 321 | + = do |
|---|
| 322 | + putStr $ l6 ++ "\n" |
|---|
| 323 | + putStr $ l7 ++ "\n" |
|---|
| 324 | + putStr $ l8 ++ "\n" |
|---|
| 325 | + putStr $ l9 ++ "\n" |
|---|
| 326 | + putStr $ l11 ++ "\n" |
|---|
| 327 | + putStr $ l12 ++ "\n" |
|---|
| 328 | + putStr $ l13 ++ "\n" |
|---|
| 329 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp007.stdout |
|---|
| 330 | hunk ./tests/ghc-regress/lib/PrettyPrint/Pp007.stdout 1 |
|---|
| 331 | +Compiling 007 |
|---|
| 332 | +Running 007 |
|---|
| 333 | +./Pp007 2>Pp007.trace.out | tr ' ' '.' |
|---|
| 334 | +F |
|---|
| 335 | +G |
|---|
| 336 | +H |
|---|
| 337 | +IJ |
|---|
| 338 | +..K.L.M |
|---|
| 339 | +NOP |
|---|
| 340 | +..Q |
|---|
| 341 | +R |
|---|
| 342 | + |
|---|
| 343 | +S.T |
|---|
| 344 | +l12 |
|---|
| 345 | +U |
|---|
| 346 | +V |
|---|
| 347 | +Done 007 |
|---|
| 348 | addfile ./tests/ghc-regress/lib/PrettyPrint/PpInstrument.hs |
|---|
| 349 | hunk ./tests/ghc-regress/lib/PrettyPrint/PpInstrument.hs 1 |
|---|
| 350 | +-- PpInstrument.hs: Instrumenting a Haskell module by adding trace messages |
|---|
| 351 | +-- to high level calls. |
|---|
| 352 | +-- Developed for HughesPJ and works for that library. |
|---|
| 353 | +-- Possibly more general use, but more work needs to be put into this. |
|---|
| 354 | +-- Also possibly something that would also be covered by "coverage" |
|---|
| 355 | +-- tools of which I believe that something called HPC exists and is |
|---|
| 356 | +-- being worked on, but which presently (2007-June-07) doesn't work. |
|---|
| 357 | +-- 2007-Jun-07 16.46 / TN |
|---|
| 358 | + |
|---|
| 359 | +module Main where |
|---|
| 360 | + |
|---|
| 361 | + import System |
|---|
| 362 | + import System.IO |
|---|
| 363 | + import Data.List |
|---|
| 364 | + |
|---|
| 365 | + import Language.Haskell.Parser |
|---|
| 366 | + import Language.Haskell.Syntax |
|---|
| 367 | + import Language.Haskell.Pretty |
|---|
| 368 | + |
|---|
| 369 | + main |
|---|
| 370 | + = do |
|---|
| 371 | + s <- getContents |
|---|
| 372 | + args <- getArgs |
|---|
| 373 | + case parseModule s of |
|---|
| 374 | + ParseFailed loc str -> |
|---|
| 375 | + hPutStrLn stderr $ show loc ++ ": " ++ str |
|---|
| 376 | + ParseOk m -> |
|---|
| 377 | + do |
|---|
| 378 | + putStrLn $ prettyPrint im |
|---|
| 379 | + hPutStr stderr $ unlines ts |
|---|
| 380 | + where |
|---|
| 381 | + ( ts, im ) = instumentModule (args!!0) m |
|---|
| 382 | + |
|---|
| 383 | + instumentModule m (HsModule sl _ hes hids hds) |
|---|
| 384 | + = ( concat tss, HsModule sl (Module m) hes (instrumentImportDecls hids) ihds ) |
|---|
| 385 | + where |
|---|
| 386 | + ( tss, ihds ) = unzip $ map instrumentDecl hds |
|---|
| 387 | + |
|---|
| 388 | + instrumentImportDecls hids |
|---|
| 389 | + = HsImportDecl { |
|---|
| 390 | + importLoc = SrcLoc {srcFilename = "<unknown>", srcLine = 0, srcColumn = 0} |
|---|
| 391 | + , importModule = Module "Debug.Trace" |
|---|
| 392 | + , importQualified = False |
|---|
| 393 | + , importAs = Nothing |
|---|
| 394 | + , importSpecs = Nothing |
|---|
| 395 | + } : hids |
|---|
| 396 | + |
|---|
| 397 | + instrumentDecl d@(HsPatBind sl hp hr hds) |
|---|
| 398 | + = ( ts, HsPatBind sl hp thr hds ) |
|---|
| 399 | + where |
|---|
| 400 | + ( ts, thr ) = traceRhs (traceString d) hr |
|---|
| 401 | + |
|---|
| 402 | + instrumentDecl (HsFunBind hms) |
|---|
| 403 | + = ( concat tss, HsFunBind ihms ) |
|---|
| 404 | + where |
|---|
| 405 | + ( tss, ihms ) = unzip $ map instrumentMatch hms |
|---|
| 406 | + |
|---|
| 407 | + instrumentDecl d@(HsTypeSig _ _ _) = ( [], d ) |
|---|
| 408 | + instrumentDecl d@(HsDataDecl _ _ _ _ _ _) = ( [], d ) |
|---|
| 409 | + instrumentDecl d@(HsTypeDecl _ _ _ _) = ( [], d ) |
|---|
| 410 | + instrumentDecl d@(HsInstDecl _ _ _ _ _) = ( [], d ) |
|---|
| 411 | + instrumentDecl d@(HsInfixDecl _ _ _ _) = ( [], d ) |
|---|
| 412 | + |
|---|
| 413 | + instrumentMatch m@(HsMatch sl hn hps hr hds) |
|---|
| 414 | + = ( ts, HsMatch sl hn hps thr hds ) |
|---|
| 415 | + where |
|---|
| 416 | + ( ts, thr ) = traceRhs (traceString m) hr |
|---|
| 417 | + |
|---|
| 418 | + traceRhs s (HsUnGuardedRhs he) |
|---|
| 419 | + = ( [s], HsUnGuardedRhs $ traceExp s he ) |
|---|
| 420 | + |
|---|
| 421 | + traceRhs s (HsGuardedRhss hgrs) |
|---|
| 422 | + = ( ts, HsGuardedRhss thgrs ) |
|---|
| 423 | + where |
|---|
| 424 | + ( ts, thgrs ) = unzip $ map (traceGuardedRhs $ guardPrefix s $ traceString $ head hgrs) hgrs |
|---|
| 425 | + |
|---|
| 426 | + guardPrefix all firstGuard |
|---|
| 427 | + = take (length all - length firstGuardTail) all |
|---|
| 428 | + where |
|---|
| 429 | + firstGuardTail = head $ filter (isPrefixOf firstGuard) (tails all) |
|---|
| 430 | + |
|---|
| 431 | + traceGuardedRhs s r@(HsGuardedRhs sl he1 he2) |
|---|
| 432 | + = ( t, HsGuardedRhs sl he1 $ traceExp t he2 ) |
|---|
| 433 | + where |
|---|
| 434 | + t = s ++ traceString r |
|---|
| 435 | + |
|---|
| 436 | + traceExp s he |
|---|
| 437 | + = HsApp (HsVar (UnQual (HsIdent "trace"))) $ HsApp (HsLit (HsString s)) $ HsParen he |
|---|
| 438 | + |
|---|
| 439 | + traceSummarize s |
|---|
| 440 | + = cutOff 80 ((unwords . words) s) " ..." |
|---|
| 441 | + where |
|---|
| 442 | + cutOff n s t = cutOff0 s (take (n-length t) s ++ t) |
|---|
| 443 | + cutOff0 s t = if length s < length t then s else t |
|---|
| 444 | + |
|---|
| 445 | + traceStyle = Style { mode = OneLineMode, lineLength = 0, ribbonsPerLine = 0.0 } |
|---|
| 446 | + traceString m = prettyPrintStyleMode traceStyle defaultMode m |
|---|
| 447 | addfile ./tests/ghc-regress/lib/PrettyPrint/PpLinesDiff.hs |
|---|
| 448 | hunk ./tests/ghc-regress/lib/PrettyPrint/PpLinesDiff.hs 1 |
|---|
| 449 | +-- PpLinesDiff.hs: Compute list difference between lines from named file and lines from stdin. |
|---|
| 450 | +-- All occurrences of lines from stdin are removed from the list of lines from the named file. |
|---|
| 451 | +-- The resulting lines are written to stdout. |
|---|
| 452 | +-- This is used for comparing traces when testing HughesPJ. |
|---|
| 453 | +-- 2007-Jun-01 17.28 / TN |
|---|
| 454 | + |
|---|
| 455 | +module Main where |
|---|
| 456 | + |
|---|
| 457 | + import Data.List |
|---|
| 458 | + import System.Environment |
|---|
| 459 | + |
|---|
| 460 | + main |
|---|
| 461 | + = do |
|---|
| 462 | + l1 <- getContents |
|---|
| 463 | + args <- getArgs |
|---|
| 464 | + l2 <- readFile $ args!!0 |
|---|
| 465 | + putStr $ unlines $ filter (flip notElem $ lines l1) $ lines l2 |
|---|
| 466 | addfile ./tests/ghc-regress/lib/PrettyPrint/PpShouldNeverHappen.trace |
|---|
| 467 | hunk ./tests/ghc-regress/lib/PrettyPrint/PpShouldNeverHappen.trace 1 |
|---|
| 468 | +mkNest k _ | k `seq` False = undefined |
|---|
| 469 | +aboveNest _ _ k _ | k `seq` False = undefined |
|---|
| 470 | +nilAboveNest _ k _ | k `seq` False = undefined |
|---|
| 471 | +sep1 g _ k ys | k `seq` False = undefined |
|---|
| 472 | +fill1 g _ k ys | k `seq` False = undefined |
|---|
| 473 | +fillNB g _ k ys | k `seq` False = undefined |
|---|
| 474 | +cant_fail = error "easy_display: NoDoc" |
|---|
| 475 | addfile ./tests/ghc-regress/lib/PrettyPrint/PpUncovered.trace |
|---|
| 476 | hunk ./tests/ghc-regress/lib/PrettyPrint/PpUncovered.trace 1 |
|---|
| 477 | +aboveNest (Empty) g k q = mkNest k q |
|---|
| 478 | +aboveNest (NoDoc) g k q = NoDoc |
|---|
| 479 | +beside (Empty) g q = q |
|---|
| 480 | +beside (NoDoc) g q = NoDoc |
|---|
| 481 | +best (OneLineMode) w r p = get p where get (Empty) = Empty get (NoDoc) = NoDoc get (NilAbove p) = nilAbove_ (get p) get (TextBeside s sl p) = textBeside_ s sl (get p) get (Nest k p) = get p get (p `Union` q) = first (get p) (get q) |
|---|
| 482 | +fill1 g (NoDoc) k ys = NoDoc |
|---|
| 483 | +fillNB g (Nest _ p) k ys = fillNB g p k ys |
|---|
| 484 | +first p q | nonEmptySet p = p |
|---|
| 485 | +first p q | otherwise = q |
|---|
| 486 | +fits n (NoDoc) = False |
|---|
| 487 | +mkNest k (NoDoc) = NoDoc |
|---|
| 488 | +nicest w r p q = nicest1 w r 0 p q |
|---|
| 489 | +nilAboveNest g k (Empty) = Empty |
|---|
| 490 | +nonEmptySet (Empty) = True |
|---|
| 491 | +nonEmptySet (Nest _ p) = nonEmptySet p |
|---|
| 492 | +nonEmptySet (NilAbove p) = True |
|---|
| 493 | +nonEmptySet (NoDoc) = False |
|---|
| 494 | +nonEmptySet (TextBeside _ _ p) = nonEmptySet p |
|---|
| 495 | +nonEmptySet (p `Union` q) = True |
|---|
| 496 | +oneLiner (NilAbove p) = NoDoc |
|---|
| 497 | +oneLiner (NoDoc) = NoDoc |
|---|
| 498 | +oneLiner (p `Union` q) = oneLiner p |
|---|
| 499 | +sep1 g (NoDoc) k ys = NoDoc |
|---|
| 500 | +sepNB g (Nest _ p) k ys = sepNB g p k ys |
|---|
| 501 | addfile ./tests/ghc-regress/lib/PrettyPrint/Pp_coverage.stdout |
|---|
| 502 | hunk ./tests/ghc-regress/lib/PrettyPrint/all.T 1 |
|---|
| 503 | -test('pp1', compose(expect_broken(1062), only_ways(['normal'])), compile_and_run, ['']) |
|---|
| 504 | +test('pp1', compose(expect_broken(1062), only_ways(['normal'])), compile_and_run, ['-package pretty']) |
|---|
| 505 | + |
|---|
| 506 | +# The following Ppnnn tests use an instrumented HughesPJ library to automate high-level |
|---|
| 507 | +# coverage checking. When adding a test to this list (like Pp037), also add to the stem |
|---|
| 508 | +# list in Makefile. |
|---|
| 509 | +test('Pp003', compose(expect_broken(1337), only_ways(['normal'])), run_command, ['$MAKE --no-print-directory test003']) |
|---|
| 510 | +test('Pp004', only_ways(['normal']), run_command, ['$MAKE --no-print-directory test004']) |
|---|
| 511 | +test('Pp005', only_ways(['normal']), run_command, ['$MAKE --no-print-directory test005']) |
|---|
| 512 | +test('Pp006', only_ways(['normal']), run_command, ['$MAKE --no-print-directory test006']) |
|---|
| 513 | +test('Pp007', only_ways(['normal']), run_command, ['$MAKE --no-print-directory test007']) |
|---|
| 514 | + |
|---|
| 515 | +# Verify high-level coverage of the Ppnnn tests: |
|---|
| 516 | +test('Pp_coverage', only_ways(['normal']), run_command, ['$MAKE --no-print-directory test_coverage']) |
|---|
| 517 | } |
|---|
| 518 | |
|---|
| 519 | Context: |
|---|
| 520 | |
|---|
| 521 | [Added tests for :steplocal and :stepmodule |
|---|
| 522 | Pepe Iborra <mnislaih@gmail.com>**20070828115403] |
|---|
| 523 | [Accept output |
|---|
| 524 | Pepe Iborra <mnislaih@gmail.com>**20070828103240] |
|---|
| 525 | [Aad test break020 for :stepover |
|---|
| 526 | Pepe Iborra <mnislaih@gmail.com>*-20070814164406] |
|---|
| 527 | [add test for #1593 |
|---|
| 528 | Simon Marlow <simonmar@microsoft.com>**20070828102508] |
|---|
| 529 | [cc013 works now |
|---|
| 530 | Simon Marlow <simonmar@microsoft.com>**20070828102433] |
|---|
| 531 | [TypeFamilies: check arity of type instances |
|---|
| 532 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070828065551] |
|---|
| 533 | [Changes necessary for type family patch |
|---|
| 534 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070828055140 |
|---|
| 535 | - Mostly changed error messages |
|---|
| 536 | - 'while' needs another type annotation due to changed rules as to what |
|---|
| 537 | annotations are required for GADTs. |
|---|
| 538 | ] |
|---|
| 539 | [Revert a hack now that the buildds will make a gcc-lib directory on Windows |
|---|
| 540 | Ian Lynagh <igloo@earth.li>**20070826133900] |
|---|
| 541 | [tcrun021 needs -package containers |
|---|
| 542 | Ian Lynagh <igloo@earth.li>**20070826125805] |
|---|
| 543 | [dynamic002 needs -package packedstring now |
|---|
| 544 | Ian Lynagh <igloo@earth.li>**20070826124918] |
|---|
| 545 | [conc068 needs parallel |
|---|
| 546 | Ian Lynagh <igloo@earth.li>**20070826123041] |
|---|
| 547 | [conc057 needs the parallel library |
|---|
| 548 | Ian Lynagh <igloo@earth.li>**20070826122117] |
|---|
| 549 | [Update array test output |
|---|
| 550 | Ian Lynagh <igloo@earth.li>**20070826120644 |
|---|
| 551 | Unfortunately safeIndex is too polymorphic to be able to show the index |
|---|
| 552 | or the bounds when we have a bad index. |
|---|
| 553 | ] |
|---|
| 554 | [Update tests now that #1384 is fixed |
|---|
| 555 | Ian Lynagh <igloo@earth.li>**20070826013926 |
|---|
| 556 | #1384 = Exporting a module that isn't imported doesn't fail |
|---|
| 557 | ] |
|---|
| 558 | [Fix the expected output for derefnull and divbyzero on Windows |
|---|
| 559 | Ian Lynagh <igloo@earth.li>**20070824215351] |
|---|
| 560 | [add test for part of #1372 |
|---|
| 561 | Simon Marlow <simonmar@microsoft.com>**20070801153944] |
|---|
| 562 | [fix syntax errors |
|---|
| 563 | Simon Marlow <simonmar@microsoft.com>**20070823143236] |
|---|
| 564 | [count a syntax error in a .T file as a framework failure |
|---|
| 565 | Simon Marlow <simonmar@microsoft.com>**20070823142714] |
|---|
| 566 | [Windows-specific output no longer required |
|---|
| 567 | Simon Marlow <simonmar@microsoft.com>**20070823111653] |
|---|
| 568 | [getDirContents001 needs -fno-gen-manifest |
|---|
| 569 | Simon Marlow <simonmar@microsoft.com>**20070822075924] |
|---|
| 570 | [Stop the timeout calibration ever returning 0 |
|---|
| 571 | Ian Lynagh <igloo@earth.li>**20070821135055] |
|---|
| 572 | [A couple more GADT/type families tests |
|---|
| 573 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070821020029] |
|---|
| 574 | [Another type families/gadt test |
|---|
| 575 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070820034301] |
|---|
| 576 | [Type families: adapt to improved error messages |
|---|
| 577 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070820022251] |
|---|
| 578 | [Type families: Infix works now |
|---|
| 579 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070819114220] |
|---|
| 580 | [Another type families test |
|---|
| 581 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070820020658] |
|---|
| 582 | [Type families: "Kind" is now working |
|---|
| 583 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070819072814] |
|---|
| 584 | [Add a test ghci021 for trac #1565 |
|---|
| 585 | Ian Lynagh <igloo@earth.li>**20070818152229] |
|---|
| 586 | [Add a test ghci020 for trac #1587 |
|---|
| 587 | Ian Lynagh <igloo@earth.li>**20070818151943] |
|---|
| 588 | [Two more indexed types tests |
|---|
| 589 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070817070131] |
|---|
| 590 | [Types families: Refl suceeds without tyfam patch |
|---|
| 591 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070816102443] |
|---|
| 592 | [Synonym family problem with higher-kinded families |
|---|
| 593 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070816101137] |
|---|
| 594 | [Accept output due to changes in :history |
|---|
| 595 | Pepe Iborra <mnislaih@gmail.com>**20070814164438] |
|---|
| 596 | [Aad test break020 for :stepover |
|---|
| 597 | Pepe Iborra <mnislaih@gmail.com>**20070814164406] |
|---|
| 598 | [Added a new :print test |
|---|
| 599 | Pepe Iborra <mnislaih@gmail.com>**20070712135224] |
|---|
| 600 | [Another indexed types testcase |
|---|
| 601 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070814025630 |
|---|
| 602 | |
|---|
| 603 | It exhibits a regression in the type functions patch. |
|---|
| 604 | ] |
|---|
| 605 | [Document and fix expected failure code for derefnull and divbyzero |
|---|
| 606 | Ian Lynagh <igloo@earth.li>**20070812133550] |
|---|
| 607 | [Follow the base split |
|---|
| 608 | Ian Lynagh <igloo@earth.li>**20070803180545] |
|---|
| 609 | [Update the bytestring tests for the bytestring package |
|---|
| 610 | Ian Lynagh <igloo@earth.li>**20070728221246] |
|---|
| 611 | [Update standalone deriving test, and add a failure test |
|---|
| 612 | Ian Lynagh <igloo@earth.li>**20070810223439] |
|---|
| 613 | [Accept changes (mostly paren removal) |
|---|
| 614 | Ian Lynagh <igloo@earth.li>**20070810194402] |
|---|
| 615 | [Test Trac #1606 |
|---|
| 616 | simonpj@microsoft.com**20070810090346] |
|---|
| 617 | [Another indexed type families test |
|---|
| 618 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070810042859 |
|---|
| 619 | |
|---|
| 620 | As before, this is against a patch which isn't in the HEAD yet. |
|---|
| 621 | ] |
|---|
| 622 | [Tests for indexed type synonyms |
|---|
| 623 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070810034436 |
|---|
| 624 | |
|---|
| 625 | The tests expose bugs in an implementation of indexed type families which |
|---|
| 626 | hasn't been pushed to the HEAD yet. They are all marked as expect_fail. |
|---|
| 627 | ] |
|---|
| 628 | [FIX ghci019 |
|---|
| 629 | Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070810014947 |
|---|
| 630 | |
|---|
| 631 | Wrong line numbers in expected output |
|---|
| 632 | ] |
|---|
| 633 | [Trac #736 is fixed |
|---|
| 634 | simonpj@microsoft.com**20070809115038] |
|---|
| 635 | [Test for Trac #1037 |
|---|
| 636 | simonpj@microsoft.com**20070804174231 |
|---|
| 637 | |
|---|
| 638 | ] |
|---|
| 639 | [Test for Trac #1581 |
|---|
| 640 | simonpj@microsoft.com**20070804173506] |
|---|
| 641 | [Use -XGADTs rather than -X=GADTs |
|---|
| 642 | Ian Lynagh <igloo@earth.li>**20070804211442] |
|---|
| 643 | [Follow flag changes |
|---|
| 644 | Ian Lynagh <igloo@earth.li>**20070804202839] |
|---|
| 645 | [Add tests for catching exceptions on Windows |
|---|
| 646 | Ian Lynagh <igloo@earth.li>**20070803183530] |
|---|
| 647 | [Add exit_code_if_platform functions to the testlib |
|---|
| 648 | Ian Lynagh <igloo@earth.li>**20070803183449] |
|---|
| 649 | [Docs have moved to the wiki |
|---|
| 650 | Ian Lynagh <igloo@earth.li>**20070803123118] |
|---|
| 651 | [cabal01: we need --with-ld=$(LD) for Windows |
|---|
| 652 | Simon Marlow <simonmar@microsoft.com>**20070803075231] |
|---|
| 653 | [Define and use rawSystem in the testsuite driver and the driver tests |
|---|
| 654 | Ian Lynagh <igloo@earth.li>**20070802223037 |
|---|
| 655 | spawnlp doesn't exist in Windows, so this avoids using it. |
|---|
| 656 | ] |
|---|
| 657 | [Add "composes" to the driver docs |
|---|
| 658 | Ian Lynagh <igloo@earth.li>**20070802170508] |
|---|
| 659 | [Testsuite driver doc updates |
|---|
| 660 | Ian Lynagh <igloo@earth.li>**20070802170343] |
|---|
| 661 | [Add test for record wildcards |
|---|
| 662 | simonpj@microsoft.com**20070802112227] |
|---|
| 663 | [Update (previously buggy) output |
|---|
| 664 | simonpj@microsoft.com**20070802111053] |
|---|
| 665 | [Update expected output |
|---|
| 666 | simonpj@microsoft.com**20070802102954] |
|---|
| 667 | [Add test for Trac #1564 |
|---|
| 668 | simonpj@microsoft.com**20070801132235] |
|---|
| 669 | [The galois_raytrace test requires the parsec package |
|---|
| 670 | Ian Lynagh <igloo@earth.li>**20070727145721] |
|---|
| 671 | [skip read023 (see #1215 and comment in all.T) |
|---|
| 672 | Simon Marlow <simonmar@microsoft.com>**20070724130810] |
|---|
| 673 | [Add a test for copyFile |
|---|
| 674 | Ian Lynagh <igloo@earth.li>**20070722133715] |
|---|
| 675 | [Tell the testsuite what exeext is |
|---|
| 676 | Ian Lynagh <igloo@earth.li>**20070721224708] |
|---|
| 677 | [Fix cabal01 to work on Windows |
|---|
| 678 | Ian Lynagh <igloo@earth.li>**20070721215854] |
|---|
| 679 | [Share the pwd program between tests |
|---|
| 680 | Ian Lynagh <igloo@earth.li>**20070721215816] |
|---|
| 681 | [Make a non-profiling version of test cabal01 |
|---|
| 682 | Ian Lynagh <igloo@earth.li>**20070721133457] |
|---|
| 683 | [Really remove an obsolete test (print015) |
|---|
| 684 | Pepe Iborra <mnislaih@gmail.com>**20070720070312] |
|---|
| 685 | [Add a test for trac #1322 (ghc --make recompiles hs-boot files unnecessarily) |
|---|
| 686 | Ian Lynagh <igloo@earth.li>**20070719112628] |
|---|
| 687 | [Fix the haddock tests when going via C |
|---|
| 688 | Ian Lynagh <igloo@earth.li>**20070719000840 |
|---|
| 689 | We need to have a header which claims the foreign imports we do are |
|---|
| 690 | for entities that actually exist. Otherwise the C compiler complains. |
|---|
| 691 | ] |
|---|
| 692 | [maessen_hashtab is broken (trac #1546) |
|---|
| 693 | Ian Lynagh <igloo@earth.li>**20070718125422] |
|---|
| 694 | [Skip the GHCi debugger tests when unregisterised (trac #1545) |
|---|
| 695 | Ian Lynagh <igloo@earth.li>**20070718122042] |
|---|
| 696 | [Adding compile_and_run_with_prefix and multimod_compile_and_run_with_prefix as test-fns. |
|---|
| 697 | andy@galois.com**20070718045107] |
|---|
| 698 | [Update drvfail008 output (flag name change) |
|---|
| 699 | Ian Lynagh <igloo@earth.li>**20070717014132] |
|---|
| 700 | [Skip the concio tests when fast, as we don't really want to hang around for 2s |
|---|
| 701 | Ian Lynagh <igloo@earth.li>**20070717013425] |
|---|
| 702 | [Bump the delay for concio from 0.45 to 1s |
|---|
| 703 | Ian Lynagh <igloo@earth.li>**20070717013241 |
|---|
| 704 | It wasn't long enough on thorkil's Mac. Should really do something based |
|---|
| 705 | on the calibration value or something, I guess. |
|---|
| 706 | ] |
|---|
| 707 | [Skip break017 if fast (bit of a hack; just to make the validate script work) |
|---|
| 708 | Ian Lynagh <igloo@earth.li>**20070714224728] |
|---|
| 709 | [Accept output |
|---|
| 710 | Pepe Iborra <mnislaih@gmail.com>**20070714155344] |
|---|
| 711 | [Add a test for bug 1533 (currently broken) |
|---|
| 712 | Ian Lynagh <igloo@earth.li>**20070713131013] |
|---|
| 713 | [dynbrk005: update with expected output |
|---|
| 714 | Pepe Iborra <mnislaih@gmail.com>**20070713110121 |
|---|
| 715 | |
|---|
| 716 | The test is still expected to fail, as there is some |
|---|
| 717 | implementation work to be done here |
|---|
| 718 | |
|---|
| 719 | ] |
|---|
| 720 | [break014: accept output and unfail |
|---|
| 721 | Pepe Iborra <mnislaih@gmail.com>**20070713103724] |
|---|
| 722 | [remove an obsolete test |
|---|
| 723 | Pepe Iborra <mnislaih@gmail.com>**20070712100713 |
|---|
| 724 | |
|---|
| 725 | The script was using Data.Set to test handling of unboxed fields by :print, |
|---|
| 726 | but some change in Data.Set or in ghc has made fromList more strict and |
|---|
| 727 | the :print pprinter never gets to show the unboxed fields itself. |
|---|
| 728 | Moreover, print022 is a much better test for unboxed fields than this one |
|---|
| 729 | |
|---|
| 730 | ] |
|---|
| 731 | [concio001: give the process a tiny little bit more time in the Makefile |
|---|
| 732 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070713042705 |
|---|
| 733 | - Although the test passed when run by itself, it did sometimes fail |
|---|
| 734 | with validate as the timing just didn't work out on a loaded machine. |
|---|
| 735 | ] |
|---|
| 736 | [Accept output |
|---|
| 737 | Pepe Iborra <mnislaih@gmail.com>**20070712085231] |
|---|
| 738 | [Unfail some :print tests |
|---|
| 739 | Pepe Iborra <mnislaih@gmail.com>**20070711102423] |
|---|
| 740 | [ffi012: stdcall doesn't work on MacOS #1524 |
|---|
| 741 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070711101641] |
|---|
| 742 | [concio001: account for constant overhead of threadDelay on MacOS |
|---|
| 743 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070711092149 |
|---|
| 744 | - See also #1523 |
|---|
| 745 | ] |
|---|
| 746 | [Follow error message changes |
|---|
| 747 | Ian Lynagh <igloo@earth.li>**20070710152155] |
|---|
| 748 | [Remove tcfail111; duplicate of tcfail098 |
|---|
| 749 | Ian Lynagh <igloo@earth.li>**20070709215509] |
|---|
| 750 | [Tweak tcfail098; we aren't interested in the undecidability error |
|---|
| 751 | Ian Lynagh <igloo@earth.li>**20070709215427] |
|---|
| 752 | [Add a test for -XPartiallyAppliedClosedTypeSynonyms |
|---|
| 753 | Ian Lynagh <igloo@earth.li>**20070709181508] |
|---|
| 754 | [add test for #1505 |
|---|
| 755 | Simon Marlow <simonmar@microsoft.com>**20070709210632] |
|---|
| 756 | [Fix this test to work with shells that don't have {..} globbing |
|---|
| 757 | Simon Marlow <simonmar@microsoft.com>**20070709200946 |
|---|
| 758 | e.g. the /bin/sh on my Ubuntu 7.04 system |
|---|
| 759 | ] |
|---|
| 760 | [Accept output (more flag name changes) |
|---|
| 761 | Ian Lynagh <igloo@earth.li>**20070709165029] |
|---|
| 762 | [Add tests for -XPolymorphicComponents |
|---|
| 763 | Ian Lynagh <igloo@earth.li>**20070709120331] |
|---|
| 764 | [readwrite002 is expect_broken_if_platform(1198,'i386-unknown-mingw32') |
|---|
| 765 | Simon Marlow <simonmar@microsoft.com>**20070709113801] |
|---|
| 766 | [reqlib now uses subprocess (when it's available) |
|---|
| 767 | Ian Lynagh <igloo@earth.li>**20070709105014 |
|---|
| 768 | Fixes a problem where /dev/null doesn't exist on mingw. |
|---|
| 769 | ] |
|---|
| 770 | [Accept output (following error message changes) |
|---|
| 771 | Ian Lynagh <igloo@earth.li>**20070708193947] |
|---|
| 772 | [Tests for -XFunctionalDependencies |
|---|
| 773 | Ian Lynagh <igloo@earth.li>**20070708153251] |
|---|
| 774 | [Add tests for -XRecursiveDo |
|---|
| 775 | Ian Lynagh <igloo@earth.li>**20070708150546] |
|---|
| 776 | [Tests for -XGeneralizedNewtypeDeriving |
|---|
| 777 | Ian Lynagh <igloo@earth.li>**20070708144456] |
|---|
| 778 | [Add tests for -XParallelListComp |
|---|
| 779 | Ian Lynagh <igloo@earth.li>**20070708134210] |
|---|
| 780 | [Add tests for -XMultiParamTypeClasses |
|---|
| 781 | Ian Lynagh <igloo@earth.li>**20070708122732] |
|---|
| 782 | [Tests for KindSignatures |
|---|
| 783 | Ian Lynagh <igloo@earth.li>**20070708120837] |
|---|
| 784 | [Tests for EmptyDataDecls extension |
|---|
| 785 | Ian Lynagh <igloo@earth.li>**20070708112938] |
|---|
| 786 | [Add tests for magic hashes (trac #1297) |
|---|
| 787 | Ian Lynagh <igloo@earth.li>**20070708110956] |
|---|
| 788 | [Fix calibrate python script for non-UNIX machines |
|---|
| 789 | Ian Lynagh <igloo@earth.li>**20070707213542] |
|---|
| 790 | [Fall back to os.spawnv is we don't have the subprocess module |
|---|
| 791 | Ian Lynagh <igloo@earth.li>**20070707212648] |
|---|
| 792 | [add prof_hb way |
|---|
| 793 | Simon Marlow <simonmar@microsoft.com>**20070627090524] |
|---|
| 794 | [clean up the extra_ways machinery |
|---|
| 795 | Simon Marlow <simonmar@microsoft.com>**20070627090515] |
|---|
| 796 | [add the profiling ways to config.other_ways |
|---|
| 797 | Simon Marlow <simonmar@microsoft.com>**20070627084700] |
|---|
| 798 | [make prof001 and prof002 into compile_and_run tests, to test #1472 |
|---|
| 799 | Simon Marlow <simonmar@microsoft.com>**20070707191638] |
|---|
| 800 | [Add a test for -fdisambiguate-record-fields (trac #1401) |
|---|
| 801 | Ian Lynagh <igloo@earth.li>**20070707183413] |
|---|
| 802 | [tcfail093 now succeeds, so has no stderr |
|---|
| 803 | Ian Lynagh <igloo@earth.li>**20070707102012] |
|---|
| 804 | [tc232 requires mtl |
|---|
| 805 | Ian Lynagh <igloo@earth.li>**20070707101215] |
|---|
| 806 | [Use subprocess.call rather than os.spawnv in the testsuite driver |
|---|
| 807 | Ian Lynagh <igloo@earth.li>**20070706121450 |
|---|
| 808 | os.spawnv is broken on non-cygwin Windows (looks like it goes via a shell). |
|---|
| 809 | ] |
|---|
| 810 | [drv015 should fial |
|---|
| 811 | simonpj@microsoft.com**20070706095331] |
|---|
| 812 | [tcfail093 should succeed |
|---|
| 813 | simonpj@microsoft.com**20070706094731] |
|---|
| 814 | [Added tests for Cmm and CPS (they are currently skipped) |
|---|
| 815 | Michael D. Adams <t-madams@microsoft.com>**20070706092548 |
|---|
| 816 | Also the test driver doesn't understand 'cmm' files |
|---|
| 817 | so something will have to be written before these tests |
|---|
| 818 | can even run. |
|---|
| 819 | ] |
|---|
| 820 | [tcfail140 is expect_broken(451) |
|---|
| 821 | Simon Marlow <simonmar@microsoft.com>**20070706081157] |
|---|
| 822 | [ffi-deriv1 is broken(736) |
|---|
| 823 | Simon Marlow <simonmar@microsoft.com>**20070705140311] |
|---|
| 824 | [Add test for Trac #1494 |
|---|
| 825 | simonpj@microsoft.com**20070704215436] |
|---|
| 826 | [fix testblockalloc for THREADS=2 |
|---|
| 827 | Simon Marlow <simonmar@microsoft.com>**20070704154139] |
|---|
| 828 | [accept output |
|---|
| 829 | Simon Marlow <simonmar@microsoft.com>**20070704135029] |
|---|
| 830 | [gadt23: $MAKE needs --no-print-directory |
|---|
| 831 | Simon Marlow <simonmar@microsoft.com>**20070704134516] |
|---|
| 832 | [add test for #1131 |
|---|
| 833 | Simon Marlow <simonmar@microsoft.com>**20070704104931] |
|---|
| 834 | [Test for Trac #1456 |
|---|
| 835 | simonpj@microsoft.com**20070703161621] |
|---|
| 836 | [don't reset MAKEFLAGS in recursive make in 'make fast' |
|---|
| 837 | Simon Marlow <simonmar@microsoft.com>**20070703123426 |
|---|
| 838 | It breaks some tests on Windows, because the stage=2 setting is lost |
|---|
| 839 | in the recursive call. I don't understand why these variables are |
|---|
| 840 | passed in MAKEFLAGS on Windows (cygwin) but not on Unix, something to |
|---|
| 841 | do with environment variables presumably. |
|---|
| 842 | ] |
|---|
| 843 | [accept output |
|---|
| 844 | Simon Marlow <simonmar@microsoft.com>**20070703105758] |
|---|
| 845 | [accept output |
|---|
| 846 | Simon Marlow <simonmar@microsoft.com>**20070703103912] |
|---|
| 847 | [Update output |
|---|
| 848 | simonpj@microsoft.com**20070629161308] |
|---|
| 849 | [Add test for Trac #1465 |
|---|
| 850 | simonpj@microsoft.com**20070629115325] |
|---|
| 851 | [Type families: more overlap checks |
|---|
| 852 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070629071438] |
|---|
| 853 | [Type families: test type family with higher kinded parameters |
|---|
| 854 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070629065523] |
|---|
| 855 | [Type families: tests excluding type families in left hand sides |
|---|
| 856 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070629064019] |
|---|
| 857 | [Type families: test for tau typeness of rhs of type instances |
|---|
| 858 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070629052042] |
|---|
| 859 | [Type families: tests for overlap check of type families |
|---|
| 860 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070629043820] |
|---|
| 861 | [Add test for Trac #1445 |
|---|
| 862 | simonpj@microsoft.com**20070628083059] |
|---|
| 863 | [Types families: test that the right coercion names go into ifaces |
|---|
| 864 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070627104656] |
|---|
| 865 | [Type families: add test case for deriving of assoc data families |
|---|
| 866 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070627055147] |
|---|
| 867 | [make this test a bit more robust (hopefully) |
|---|
| 868 | Simon Marlow <simonmar@microsoft.com>**20070626092843] |
|---|
| 869 | [Add a test (tc229) for trac #1406 |
|---|
| 870 | Ian Lynagh <igloo@earth.li>**20070624191431] |
|---|
| 871 | [Add a test for trac #1287: SPECIALIZE causes panic |
|---|
| 872 | Ian Lynagh <igloo@earth.li>**20070624172733] |
|---|
| 873 | [Allow the "< /dev/null" when running tests to be disabled |
|---|
| 874 | Ian Lynagh <igloo@earth.li>**20070623205213 |
|---|
| 875 | The user001 test in the unix package can fail when stdin comes from a |
|---|
| 876 | file. |
|---|
| 877 | ] |
|---|
| 878 | [Accept output (tcfail145) |
|---|
| 879 | Ian Lynagh <igloo@earth.li>**20070623195449] |
|---|
| 880 | [Accept output (read008) |
|---|
| 881 | Ian Lynagh <igloo@earth.li>**20070623194707] |
|---|
| 882 | [getC now works (trac 1430 is fixed) |
|---|
| 883 | Ian Lynagh <igloo@earth.li>**20070623192346] |
|---|
| 884 | [Mark ghci debugger tests broken |
|---|
| 885 | Ian Lynagh <igloo@earth.li>**20070623175217] |
|---|
| 886 | [Test for Trac #1402 |
|---|
| 887 | simonpj@microsoft.com**20070621165221] |
|---|
| 888 | [Fix flaggery |
|---|
| 889 | simonpj@microsoft.com**20070621163321] |
|---|
| 890 | [Test for Trac #1386 |
|---|
| 891 | simonpj@microsoft.com**20070621163308] |
|---|
| 892 | [Update expected output (mostly concerning deriving) |
|---|
| 893 | simonpj@microsoft.com**20070620102719] |
|---|
| 894 | [tcrun032 was using an un-documented (and now not implemented) feature of 'deriving' |
|---|
| 895 | simonpj@microsoft.com**20070620102522] |
|---|
| 896 | [Remove tcfail105.stderr; tcfail105 is now an expected pass! |
|---|
| 897 | simonpj@microsoft.com**20070620102303] |
|---|
| 898 | [no .bat scripts any more |
|---|
| 899 | Simon Marlow <simonmar@microsoft.com>**20070621102024] |
|---|
| 900 | [Test for Trac #1430 |
|---|
| 901 | simonpj@microsoft.com**20070619163127] |
|---|
| 902 | [Output reordering in debugger tests |
|---|
| 903 | Ian Lynagh <igloo@earth.li>**20070618103251] |
|---|
| 904 | [Two tests for newtypes & :print added |
|---|
| 905 | Pepe Iborra <mnislaih@gmail.com>**20070618080252] |
|---|
| 906 | [Update ghci debugger output order |
|---|
| 907 | Ian Lynagh <igloo@earth.li>**20070617215040] |
|---|
| 908 | [tcfail046,tcfail169,tcfail118 are broken; trac #1432 |
|---|
| 909 | Ian Lynagh <igloo@earth.li>**20070617001116] |
|---|
| 910 | [rnfail028 is currently broken; trac #1384 |
|---|
| 911 | Ian Lynagh <igloo@earth.li>**20070616223140] |
|---|
| 912 | [We expect getC to be broken: trac #1430 |
|---|
| 913 | Ian Lynagh <igloo@earth.li>**20070616221450] |
|---|
| 914 | [tcfail177 is expected to fail; trac #1176 |
|---|
| 915 | Ian Lynagh <igloo@earth.li>**20070616211731] |
|---|
| 916 | [Accept prog003 output |
|---|
| 917 | Ian Lynagh <igloo@earth.li>**20070616204139 |
|---|
| 918 | Also added some extra prints to make it clearer what's happening |
|---|
| 919 | ] |
|---|
| 920 | [ghci debugger output reordering |
|---|
| 921 | Ian Lynagh <igloo@earth.li>**20070616200222] |
|---|
| 922 | [Accept output reorderings in ghci debugger tests |
|---|
| 923 | Ian Lynagh <igloo@earth.li>**20070616195730] |
|---|
| 924 | [Accept output for TH_exn2 |
|---|
| 925 | Ian Lynagh <igloo@earth.li>**20070616194758] |
|---|
| 926 | [accept output |
|---|
| 927 | Simon Marlow <simonmar@microsoft.com>**20070614111147] |
|---|
| 928 | [move par tests to the parallel package |
|---|
| 929 | Simon Marlow <simonmar@microsoft.com>**20070614092328] |
|---|
| 930 | [add 32-bit output for num012 |
|---|
| 931 | Simon Marlow <simonmar@microsoft.com>**20070614091546] |
|---|
| 932 | [Test 11 double arguments instead of 6 (see #1424) |
|---|
| 933 | Simon Marlow <simonmar@microsoft.com>**20070613144542] |
|---|
| 934 | [test various kinds of heap profile |
|---|
| 935 | Simon Marlow <simonmar@microsoft.com>**20070613124435] |
|---|
| 936 | [add extra_ways, for adding running a test in more ways |
|---|
| 937 | Simon Marlow <simonmar@microsoft.com>**20070613124318] |
|---|
| 938 | [add more profiling ways, to test different kinds of heap profile |
|---|
| 939 | Simon Marlow <simonmar@microsoft.com>**20070613121954] |
|---|
| 940 | [fix this test |
|---|
| 941 | Simon Marlow <simonmar@microsoft.com>**20070608104457] |
|---|
| 942 | [expect more failures for ffi009 on x86 |
|---|
| 943 | Simon Marlow <simonmar@microsoft.com>**20070608104150] |
|---|
| 944 | [Split newtype deriving test from other deriving tests |
|---|
| 945 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070608044250] |
|---|
| 946 | [fix this test |
|---|
| 947 | Simon Marlow <simonmar@microsoft.com>**20070607095334] |
|---|
| 948 | [more expected failures for arith012 |
|---|
| 949 | Simon Marlow <simonmar@microsoft.com>**20070607094022] |
|---|
| 950 | [accept output |
|---|
| 951 | Simon Marlow <simonmar@microsoft.com>**20070607093924] |
|---|
| 952 | [arith008 fails for some more ways now that the NCG is used by default |
|---|
| 953 | Simon Marlow <simonmar@microsoft.com>**20070607093505] |
|---|
| 954 | [Add test for #1385 |
|---|
| 955 | simonpj@microsoft.com**20070606131053] |
|---|
| 956 | [Add comments about runCmd |
|---|
| 957 | simonpj@microsoft.com**20070606094820] |
|---|
| 958 | [Test for Trac #1396 |
|---|
| 959 | Michael D. Adams <t-madams@microsoft.com>**20070531154432] |
|---|
| 960 | [Test for Trac #1382 |
|---|
| 961 | simonpj@microsoft.com**20070530082341] |
|---|
| 962 | [add negative-prim-literal tests |
|---|
| 963 | Isaac Dupree <id@isaac.cedarswampstudios.org>**20070526224405 |
|---|
| 964 | the first for behavior common between their new and old parsings (passes both), |
|---|
| 965 | the second to test the new behavior (fails before, passes after) |
|---|
| 966 | ] |
|---|
| 967 | [#1318: pre-emptively add test for Haskell98 treatment of operator "-" |
|---|
| 968 | Isaac Dupree <id@isaac.cedarswampstudios.org>**20070526143814] |
|---|
| 969 | [Add parser/should_run |
|---|
| 970 | Isaac Dupree <id@isaac.cedarswampstudios.org>**20070526143151] |
|---|
| 971 | [Update (incorrect) test output with '....'s |
|---|
| 972 | Ian Lynagh <igloo@earth.li>**20070527213056] |
|---|
| 973 | [Accept output (missing-main error changed) |
|---|
| 974 | Ian Lynagh <igloo@earth.li>**20070527212624] |
|---|
| 975 | [1332 is now fixed, so tc224 is passing again |
|---|
| 976 | Ian Lynagh <igloo@earth.li>**20070527211601] |
|---|
| 977 | [Use -v0 in TH tests to avoid package versions getting into stderr |
|---|
| 978 | Ian Lynagh <igloo@earth.li>**20070527210126] |
|---|
| 979 | [Use -v0 when doing test rnfail043 |
|---|
| 980 | Ian Lynagh <igloo@earth.li>**20070527203004 |
|---|
| 981 | This avoids version numbers of packages being in the output. |
|---|
| 982 | ] |
|---|
| 983 | [Accept output (missing-main error has changed) |
|---|
| 984 | Ian Lynagh <igloo@earth.li>**20070527202508] |
|---|
| 985 | [Accept output (missing-main error has changed) |
|---|
| 986 | Ian Lynagh <igloo@earth.li>**20070527202333] |
|---|
| 987 | [par001 requires the parallel library |
|---|
| 988 | Ian Lynagh <igloo@earth.li>**20070527200931] |
|---|
| 989 | [Accept output (source spans) |
|---|
| 990 | Ian Lynagh <igloo@earth.li>**20070527184303] |
|---|
| 991 | [remove unreg "way"; unreg is now all-or-nothing |
|---|
| 992 | Simon Marlow <simonmar@microsoft.com>**20070525081742] |
|---|
| 993 | [Accept output |
|---|
| 994 | Pepe Iborra <mnislaih@gmail.com>**20070519215040] |
|---|
| 995 | [ignore the .ghci file if present in the ghci debugger tests |
|---|
| 996 | Pepe Iborra <mnislaih@gmail.com>**20070519211700] |
|---|
| 997 | [Accept output (source spans) |
|---|
| 998 | Ian Lynagh <igloo@earth.li>**20070519104909] |
|---|
| 999 | [Accept output (... doesn't replace a constructor any more) |
|---|
| 1000 | Ian Lynagh <igloo@earth.li>**20070519103641] |
|---|
| 1001 | [add a test for printing unboxed fields |
|---|
| 1002 | Simon Marlow <simonmar@microsoft.com>**20070518141526] |
|---|
| 1003 | [arith011 is no longer broken on x86-64 Linux |
|---|
| 1004 | Simon Marlow <simonmar@microsoft.com>**20070518115502] |
|---|
| 1005 | [Accept output (src span) |
|---|
| 1006 | Ian Lynagh <igloo@earth.li>**20070517164019] |
|---|
| 1007 | [bio001 needs profiling |
|---|
| 1008 | Ian Lynagh <igloo@earth.li>**20070517163214] |
|---|
| 1009 | [Accept output (source spans) |
|---|
| 1010 | Ian Lynagh <igloo@earth.li>**20070517162651] |
|---|
| 1011 | [move dynbk tests into scripts/ and update them |
|---|
| 1012 | Simon Marlow <simonmar@microsoft.com>**20070517092220] |
|---|
| 1013 | [move STM-specific tests to the stm package |
|---|
| 1014 | Simon Marlow <simonmar@microsoft.com>**20070517085909] |
|---|
| 1015 | [make this test work a bit more reliably |
|---|
| 1016 | Simon Marlow <simonmar@microsoft.com>**20070517085853] |
|---|
| 1017 | [add missing files |
|---|
| 1018 | Simon Marlow <simonmar@microsoft.com>**20070517082938] |
|---|
| 1019 | [add another exception test |
|---|
| 1020 | Simon Marlow <simonmar@microsoft.com>**20070516133922] |
|---|
| 1021 | [move the break* tests into scripts/, and update as necessary |
|---|
| 1022 | Simon Marlow <simonmar@microsoft.com>**20070516095924] |
|---|
| 1023 | [move break1 to scripts/break012 |
|---|
| 1024 | Simon Marlow <simonmar@microsoft.com>**20070516090710] |
|---|
| 1025 | [add missing source file |
|---|
| 1026 | Simon Marlow <simonmar@microsoft.com>**20070516083636] |
|---|
| 1027 | [add missing source files for tests |
|---|
| 1028 | Simon Marlow <simonmar@microsoft.com>**20070516082958] |
|---|
| 1029 | [accept output and add a few more tests |
|---|
| 1030 | Simon Marlow <simonmar@microsoft.com>**20070515132532] |
|---|
| 1031 | [-findexed-types -> -ftype-families |
|---|
| 1032 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070514115132] |
|---|
| 1033 | [add test for #1277 |
|---|
| 1034 | Simon Marlow <simonmar@microsoft.com>**20070511145720] |
|---|
| 1035 | [Adapt indexed type tests to removal of newtype families |
|---|
| 1036 | Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070511113521] |
|---|
| 1037 | [Various indexed types tests fail due to trac #1331 |
|---|
| 1038 | Ian Lynagh <igloo@earth.li>*-20070505155605] |
|---|
| 1039 | [Add tests for -fwarn-implicit-prelude (and -fwarn-unused-imports along with it) (trac #1317) |
|---|
| 1040 | Isaac Dupree <id@isaac.cedarswampstudios.org>**20070508221238] |
|---|
| 1041 | [add a couple more tests |
|---|
| 1042 | Simon Marlow <simonmar@microsoft.com>**20070509133022] |
|---|
| 1043 | [add test for unicode constructor names in :print |
|---|
| 1044 | Simon Marlow <simonmar@microsoft.com>**20070509104517] |
|---|
| 1045 | [Add test for full laziness |
|---|
| 1046 | simonpj@microsoft.com**20070509113038] |
|---|
| 1047 | [accept output |
|---|
| 1048 | Simon Marlow <simonmar@microsoft.com>**20070508144310] |
|---|
| 1049 | [FIX #1159: This test needs to run in a subthread (see comments) |
|---|
| 1050 | Simon Marlow <simonmar@microsoft.com>**20070508130950] |
|---|
| 1051 | [add test for #1227 |
|---|
| 1052 | Simon Marlow <simonmar@microsoft.com>**20070508105325] |
|---|
| 1053 | [add test for #1253 |
|---|
| 1054 | Simon Marlow <simonmar@microsoft.com>**20070507132429] |
|---|
| 1055 | [add test for #1091 |
|---|
| 1056 | Simon Marlow <simonmar@microsoft.com>**20070507113903] |
|---|
| 1057 | [add basic concurrency/IO test: tests that stdin is non-blocking |
|---|
| 1058 | Simon Marlow <simonmar@microsoft.com>**20070507124521] |
|---|
| 1059 | [platform-specific output no longer required |
|---|
| 1060 | Simon Marlow <simonmar@microsoft.com>**20070417080859] |
|---|
| 1061 | [Add a test that 'ghc -e "return ()"' returns successfully |
|---|
| 1062 | Ian Lynagh <igloo@earth.li>**20070506113229] |
|---|
| 1063 | [Arrow tests are failing core lint; trac #1333 |
|---|
| 1064 | Ian Lynagh <igloo@earth.li>**20070505190414] |
|---|
| 1065 | [sed-o in the testsuite driver |
|---|
| 1066 | Ian Lynagh <igloo@earth.li>**20070505190353] |
|---|
| 1067 | [dsrun014 is broken (trac #1257, Bytecode generator can't handle unboxed tuples) |
|---|
| 1068 | Ian Lynagh <igloo@earth.li>**20070505172037] |
|---|
| 1069 | [tc224 (overloaded strings) is broken; trac #1332 |
|---|
| 1070 | Ian Lynagh <igloo@earth.li>**20070505161813] |
|---|
| 1071 | [Various indexed types tests fail due to trac #1331 |
|---|
| 1072 | Ian Lynagh <igloo@earth.li>**20070505155605] |
|---|
| 1073 | [Accept output (mdofail004) |
|---|
| 1074 | Ian Lynagh <igloo@earth.li>**20070505153527] |
|---|
| 1075 | [Church2 is broken; trac #1330 |
|---|
| 1076 | Ian Lynagh <igloo@earth.li>**20070505152441] |
|---|
| 1077 | [Accept output |
|---|
| 1078 | Ian Lynagh <igloo@earth.li>**20070505150128] |
|---|
| 1079 | [Accept output |
|---|
| 1080 | Ian Lynagh <igloo@earth.li>**20070505123344] |
|---|
| 1081 | [Accept output |
|---|
| 1082 | Ian Lynagh <igloo@earth.li>**20070505120131] |
|---|
| 1083 | [Add output |
|---|
| 1084 | Ian Lynagh <igloo@earth.li>**20070505115657] |
|---|
| 1085 | [Accept output |
|---|
| 1086 | Ian Lynagh <igloo@earth.li>**20070505114604] |
|---|
| 1087 | [Partially accept output |
|---|
| 1088 | Ian Lynagh <igloo@earth.li>**20070505113746] |
|---|
| 1089 | [Accept output |
|---|
| 1090 | Ian Lynagh <igloo@earth.li>**20070505113048] |
|---|
| 1091 | [Accept output for tcfail004 |
|---|
| 1092 | Ian Lynagh <igloo@earth.li>**20070505105852] |
|---|
| 1093 | [Track ... pretty-printer changes |
|---|
| 1094 | Ian Lynagh <igloo@earth.li>**20070505105355] |
|---|
| 1095 | [stm is no longer a corelib, so needs to be reqlib'ed now |
|---|
| 1096 | Ian Lynagh <igloo@earth.li>**20070505004835] |
|---|
| 1097 | [Don't dump stderr/stdout before we've split the ghci output |
|---|
| 1098 | Ian Lynagh <igloo@earth.li>**20070505004802 |
|---|
| 1099 | Fixes some framework failures. |
|---|
| 1100 | ] |
|---|
| 1101 | [Fix spec001 test |
|---|
| 1102 | Ian Lynagh <igloo@earth.li>**20070505001103] |
|---|
| 1103 | [Accept output |
|---|
| 1104 | Ian Lynagh <igloo@earth.li>**20070505000818] |
|---|
| 1105 | [Accept output |
|---|
| 1106 | Ian Lynagh <igloo@earth.li>**20070504235810] |
|---|
| 1107 | [maessen_hashtab needs QuickCheck |
|---|
| 1108 | Ian Lynagh <igloo@earth.li>**20070504235518] |
|---|
| 1109 | [regex tests need regex-posix, which is no longer a corelib |
|---|
| 1110 | Ian Lynagh <igloo@earth.li>**20070504232505] |
|---|
| 1111 | [Fix comment |
|---|
| 1112 | Ian Lynagh <igloo@earth.li>**20070504230405] |
|---|
| 1113 | [skip cabal02 (cabal-setup isn't in the GHC tree any more) |
|---|
| 1114 | Ian Lynagh <igloo@earth.li>**20070504220048] |
|---|
| 1115 | [Don't hardcode the version of base in the tests |
|---|
| 1116 | Ian Lynagh <igloo@earth.li>**20070504215708] |
|---|
| 1117 | [Accept output for tcfail005 |
|---|
| 1118 | Ian Lynagh <igloo@earth.li>**20070504092957] |
|---|
| 1119 | [cg025 requires regex-compat, which is now an extralib |
|---|
| 1120 | Ian Lynagh <igloo@earth.li>**20070503225622] |
|---|
| 1121 | [Test for Trac #1251 |
|---|
| 1122 | simonpj@microsoft.com**20070504111134] |
|---|
| 1123 | [Add test for Trac #1323 |
|---|
| 1124 | simonpj@microsoft.com**20070504075616] |
|---|
| 1125 | [Revert mistaken change to all.T |
|---|
| 1126 | simonpj@microsoft.com**20070504073843] |
|---|
| 1127 | [Use letters to allow output to be matched up with the code more easily |
|---|
| 1128 | Ian Lynagh <igloo@earth.li>**20070503192604] |
|---|
| 1129 | [Remove redundant arch-specific test files |
|---|
| 1130 | Ian Lynagh <igloo@earth.li>**20070503192139] |
|---|
| 1131 | [Accept output |
|---|
| 1132 | Ian Lynagh <igloo@earth.li>**20070503191615] |
|---|
| 1133 | [update: we give a diagnostic for an incorrect number in :delete now |
|---|
| 1134 | Simon Marlow <simonmar@microsoft.com>**20070503151724] |
|---|
| 1135 | [add a history test |
|---|
| 1136 | Simon Marlow <simonmar@microsoft.com>**20070503151700] |
|---|
| 1137 | [add a :list test |
|---|
| 1138 | Simon Marlow <simonmar@microsoft.com>**20070503150446] |
|---|
| 1139 | [add a test to demonstrate a new bug |
|---|
| 1140 | Simon Marlow <simonmar@microsoft.com>**20070503131223] |
|---|
| 1141 | [accept output |
|---|
| 1142 | Simon Marlow <simonmar@microsoft.com>**20070503094206] |
|---|
| 1143 | [add correct output now this test is fixed |
|---|
| 1144 | Simon Marlow <simonmar@microsoft.com>**20070430110058] |
|---|
| 1145 | [Add test for Trac #1255 |
|---|
| 1146 | simonpj@microsoft.com**20070503075022] |
|---|
| 1147 | [Add test for records and type families |
|---|
| 1148 | simonpj@microsoft.com**20070503073838] |
|---|
| 1149 | [Accept output |
|---|
| 1150 | Pepe Iborra <mnislaih@gmail.com>**20070430171655] |
|---|
| 1151 | [Adapt some breakpoint tests to the new command syntax |
|---|
| 1152 | Pepe Iborra <mnislaih@gmail.com>**20070430171643] |
|---|
| 1153 | [add test for a new assertion failure |
|---|
| 1154 | Simon Marlow <simonmar@microsoft.com>**20070427144739] |
|---|
| 1155 | [modify test to reproduce a new bug |
|---|
| 1156 | Simon Marlow <simonmar@microsoft.com>**20070426153744] |
|---|
| 1157 | [add another test, and accept some output |
|---|
| 1158 | Simon Marlow <simonmar@microsoft.com>**20070426152639] |
|---|
| 1159 | [Fix the test I just added |
|---|
| 1160 | Pepe Iborra <mnislaih@gmail.com>**20070426101615 |
|---|
| 1161 | |
|---|
| 1162 | :break qsort sets a breakpoint in the outer expression, before any variable |
|---|
| 1163 | has been bound. Once you :step the things are bound |
|---|
| 1164 | |
|---|
| 1165 | ] |
|---|
| 1166 | [Added a :break test |
|---|
| 1167 | Pepe Iborra <mnislaih@gmail.com>**20070426085538] |
|---|
| 1168 | [Disable the monomorphism restriction warnings in all tests |
|---|
| 1169 | Pepe Iborra <mnislaih@gmail.com>**20070426084918] |
|---|
| 1170 | [Accept output |
|---|
| 1171 | Pepe Iborra <mnislaih@gmail.com>**20070425175248] |
|---|
| 1172 | [add some :show bindings |
|---|
| 1173 | Simon Marlow <simonmar@microsoft.com>**20070425130058] |
|---|
| 1174 | [add test for a new bug |
|---|
| 1175 | Simon Marlow <simonmar@microsoft.com>**20070425130031] |
|---|
| 1176 | [this test requires an extra :step now |
|---|
| 1177 | Simon Marlow <simonmar@microsoft.com>**20070425125920] |
|---|
| 1178 | [New test covering bug discovered by Nicolas Frisby in TcUnify.boxySplitTyConApp |
|---|
| 1179 | simonpj@microsoft.com**20070424124702] |
|---|
| 1180 | [move some dynbrk tests into the scripts/ directory |
|---|
| 1181 | Simon Marlow <simonmar@microsoft.com>**20070423152829] |
|---|
| 1182 | [add dynbrk tests, and a few more breakpoint tests |
|---|
| 1183 | Simon Marlow <simonmar@microsoft.com>**20070423152031] |
|---|
| 1184 | [Adapt commands to the new ghci debugger command-set |
|---|
| 1185 | Pepe Iborra <mnislaih@gmail.com>**20070420170414] |
|---|
| 1186 | [Accept output |
|---|
| 1187 | Pepe Iborra <mnislaih@gmail.com>**20070420170311] |
|---|
| 1188 | [Add test suggested by Doaitse Swierestra |
|---|
| 1189 | simonpj@microsoft.com**20070418145918] |
|---|
| 1190 | [Update output |
|---|
| 1191 | Ian Lynagh <igloo@earth.li>**20070417151616] |
|---|
| 1192 | [Add a test for use of fail for trac #1265 |
|---|
| 1193 | Tyson Whitehead <twhitehe@uwo.ca>**20070410140653] |
|---|
| 1194 | [Differentiate between use of fail and failure of code (i.e., an exception is thrown) |
|---|
| 1195 | Tyson Whitehead <twhitehe@uwo.ca>**20070410140308] |
|---|
| 1196 | [Use $(PYTHON) rather than assuming python will find it |
|---|
| 1197 | Ian Lynagh <igloo@earth.li>**20070417130516] |
|---|
| 1198 | [Generate conc068 input in a more portable manner |
|---|
| 1199 | Thorkil Naur <naur@post11.tele.dk>**20070417063754 |
|---|
| 1200 | The earlier method with 'yes .. | head ..' does not work on PPC Mac OS X. |
|---|
| 1201 | ] |
|---|
| 1202 | [TAG 2007-04-17 |
|---|
| 1203 | Ian Lynagh <igloo@earth.li>**20070417125057] |
|---|
| 1204 | Patch bundle hash: |
|---|
| 1205 | 4415acef114918ee62721dc25c0c3c6b6d937a42 |
|---|