all.T 9.71 KB
Newer Older
1 2
import string
import re
3

4 5 6 7 8 9 10 11 12 13 14
#--------------------------------------
# Python normalization functions
#--------------------------------------

def normalise_quotes (str):
  str = re.sub(r'"',r'', str, flags=re.MULTILINE)
  return str

#--------------------------------------
# Test functions
#--------------------------------------
15 16 17
test('readFloat', exit_code(1), compile_and_run, [''])
test('enumDouble', normal, compile_and_run, [''])
test('enumRatio', normal, compile_and_run, [''])
18
test('enumNumeric', normal, compile_and_run, [''])
19 20
test('tempfiles', normal, compile_and_run, [''])
test('fixed', normal, compile_and_run, [''])
21
test('quotOverflow', normal, compile_and_run, [''])
22
test('assert', exit_code(1), compile_and_run, ['-fno-ignore-asserts'])
Ben Gamari's avatar
Ben Gamari committed
23
test('CPUTime001', fragile(16224), compile_and_run, [''])
24 25
test('readLitChar',   normal, compile_and_run, [''])
test('unicode001',
ian@well-typed.com's avatar
ian@well-typed.com committed
26
     when(platform('i386-unknown-openbsd'), expect_fail),
27 28 29
     compile_and_run,
     [''])
test('unicode002',
ian@well-typed.com's avatar
ian@well-typed.com committed
30
     when(platform('i386-unknown-openbsd'), expect_fail),
31 32
     compile_and_run,
     [''])
33
test('data-fixed-show-read', normal, compile_and_run, [''])
34
test('showDouble', normal, compile_and_run, [''])
Ian Lynagh's avatar
Ian Lynagh committed
35
test('readDouble001', normal, compile_and_run, [''])
Ian Lynagh's avatar
Ian Lynagh committed
36
test('readInteger001', normal, compile_and_run, [''])
37
test('readFixed001', normal, compile_and_run, [''])
38
test('lex001', normal, compile_and_run, [''])
39
test('take001', extra_run_opts('1'), compile_and_run, [''])
David Feuer's avatar
David Feuer committed
40
test('inits', normal, compile_and_run, [''])
41
test('genericNegative001', extra_run_opts('-1'), compile_and_run, [''])
Ian Lynagh's avatar
Ian Lynagh committed
42
test('ix001', normal, compile_and_run, [''])
43
test('isValidNatural', reqlib('integer-gmp'), compile_and_run, [''])
44

Ian Lynagh's avatar
Ian Lynagh committed
45 46
# need to add -K64m to the compiler opts, so that GHCi gets it too
test('ioref001',
47
     [when(fast(), skip),extra_run_opts('+RTS -K64m -RTS')],
Ian Lynagh's avatar
Ian Lynagh committed
48 49 50
     compile_and_run,
     ['+RTS -K64m -RTS'])

51 52 53 54 55 56 57 58 59 60 61 62 63 64
test('echo001', set_stdin("echo001.hs"), compile_and_run, [''])

test('hTell001', normal, compile_and_run, [''])

test('hTell002', normal, compile_and_run, [''])

test('performGC001', normal, compile_and_run, [''])

# optimisation screws up this test because some of the traces get commoned up
test('trace001', normal, compile_and_run, [''])

test('hGetBuf002', normal, compile_and_run, [''])
test('hGetBuf003', normal, compile_and_run, [''])
test('hPutBuf001', normal, compile_and_run, [''])
65
test('hPutBuf002', [], compile_and_run, [''])
66 67 68 69 70 71

test('char001', 	normal, compile_and_run, [''])
test('char002', 	normal, compile_and_run, [''])

test('cstring001', 	normal, compile_and_run, [''])

thoughtpolice's avatar
thoughtpolice committed
72
test('length001',
73 74 75 76
     # length001 depends on a RULE being applied, and without -O takes
     # excessive amounts of stack space. So we specifically set a low
     # stack limit and mark it as failing under a few conditions.
     [extra_run_opts('+RTS -K8m -RTS'),
77
     expect_fail_for(['normal', 'threaded1', 'llvm', 'nonmoving', 'nonmoving_thr', 'nonmoving_thr_ghc'])],
78
     compile_and_run, [''])
79 80 81 82 83 84 85 86 87 88 89 90 91 92

test('ratio001', 	normal, compile_and_run, [''])

test('rand001',		reqlib('random'), compile_and_run, [''])
test('reads001',		normal, compile_and_run, [''])
test('show001',		normal, compile_and_run, [''])
test('text001',		normal, compile_and_run, [''])

test('tup001',		normal, compile_and_run, [''])

test('addr001',		normal, compile_and_run, [''])
test('dynamic001',      normal, compile_and_run, [''])
test('dynamic002',      normal, compile_and_run, [''])
test('dynamic003',      extra_run_opts('+RTS -K32m -RTS'), compile_and_run, [''])
93
test('dynamic004',      omit_ways(['normal', 'threaded1', 'ghci']), compile_and_run, [''])
94
test('dynamic005',      normal, compile_and_run, [''])
95

96
enum_setups = [when(fast(), skip)]
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117
def enum_test(name):
    """
    These tests have a funky Python preprocessor which require some headstands
    to run on Windows.
    """
    if opsys('mingw32'):
        test(name,
             [when(opsys('mingw32'), extra_files(['enum_processor.bat'])),
              extra_files(['enum_processor.py'])],
             compile_and_run,
             ['-F -pgmF ./enum_processor.bat'])
    else:
        test(name,
             [extra_files(['enum_processor.py'])],
             compile_and_run,
             ['-F -pgmF ./enum_processor.py'])

enum_test('enum01')
enum_test('enum02')
enum_test('enum03')
test('enum04', normal, compile_and_run, [''])
118

thomie's avatar
thomie committed
119
test('exceptionsrun001',        normal, compile_and_run, [''])
120
test('exceptionsrun002', 	normal, compile_and_run, [''])
121
test('foldableArray',   normal, compile_and_run, [''])
122 123 124
test('list001'	,	when(fast(), skip), compile_and_run, [''])
test('list002', when(fast(), skip), compile_and_run, [''])
test('list003', when(fast(), skip), compile_and_run, [''])
125
test('isSuffixOf', normal, compile_and_run, [''])
126

127 128
test('memo001', [extra_files(['Memo1.lhs']),
                 extra_run_opts('+RTS -A10k -RTS')], multimod_compile_and_run,
129
     ['memo001', ''])
130

131 132
test('memo002', [extra_files(['Memo2.lhs']),
                 extra_run_opts('20')], multimod_compile_and_run,
133
     ['memo002', ''])
134 135

test('stableptr001',
136
     [when(fast(), skip), extra_run_opts('+RTS -K8m -RTS')],
137 138 139 140 141 142 143
     compile_and_run, [''])
test('stableptr003', normal, compile_and_run, [''])
test('stableptr004', extra_run_opts('+RTS -K4m -RTS'), compile_and_run, [''])
test('stableptr005', normal, compile_and_run, [''])

test('weak001', normal, compile_and_run, [''])

144 145
test('T2528', normal, compile_and_run, [''])

146 147 148 149 150 151
# In the 65001 codepage, we can't even cat the expected output on msys:
#     $ cat 4006.stdout
#     It works here
#     cat: write error: Permission denied
# Seems to be a known problem, e.g.
#     http://mingw-users.1079350.n2.nabble.com/Bug-re-Unicode-on-the-console-td3121717.html
152
# May 2014: seems to work on msys2
153 154 155
# May 2018: The behavior of printf seems very implementation dependent.
#     so let's normalise the output.
test('T4006', normalise_fun(normalise_quotes), compile_and_run, [''])
156

157
test('T5943', normal, compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
158
test('T5962', normal, compile_and_run, [''])
159
test('T7034', normal, compile_and_run, [''])
160

Simon Marlow's avatar
Simon Marlow committed
161 162
test('qsem001', normal, compile_and_run, [''])
test('qsemn001', normal, compile_and_run, [''])
Simon Marlow's avatar
Simon Marlow committed
163 164

test('T7457', normal, compile_and_run, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
165 166 167

test('T7773', when(opsys('mingw32'), skip), compile_and_run, [''])
# Andreas says that T7773 will not (and should not) work on Windows
168 169 170 171

# Tests for kind-polymorphic Category
test('CatPairs', normal, compile, [''])
test('CatEntail', normal, compile, [''])
ian@well-typed.com's avatar
ian@well-typed.com committed
172

173 174
# When running with WAY=ghci and profiled ways, T7653 uses a lot of memory.
test('T7653', omit_ways(prof_ways+['ghci']), compile_and_run, [''])
Simon Marlow's avatar
Simon Marlow committed
175
test('T7787', normal, compile_and_run, [''])
176 177

test('topHandler01', when(opsys('mingw32'), skip), compile_and_run, [''])
178 179 180
test('topHandler02',
     [when(opsys('mingw32'), skip),
      omit_ways(['ghci']),
181
      signal_exit_code(2)
182 183
     ], compile_and_run, [''])
test('topHandler03',
Rufflewind's avatar
Rufflewind committed
184
     [when(opsys('mingw32'), skip), ignore_stderr,
185
      signal_exit_code(15)
186
     ], compile_and_run, [''])
187 188 189 190
test('topHandler04',
     [when(opsys('mingw32'), skip),
      exit_code(1)
     ], compile_and_run, [''])
191

Joachim Breitner's avatar
Joachim Breitner committed
192

Joachim Breitner's avatar
Joachim Breitner committed
193
test('T8766',
194
        [ collect_stats('bytes allocated',5)
195
        , only_ways(['normal'])],
Joachim Breitner's avatar
Joachim Breitner committed
196 197
      compile_and_run,
      ['-O'])
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
198 199

test('T9111', normal, compile, [''])
200
test('T9395', normal, compile_and_run, [''])
201 202
# Fails for debug way due to annotation linting timeout
test('T9532', omit_ways(['debug']), compile_and_run, [''])
203
test('T9586', normal, compile, [''])
204
test('T9681', normal, compile_fail, [''])
thomie's avatar
thomie committed
205 206 207 208 209 210 211 212 213 214
# Test no runtime crash. Report success and kill with `timeout` (exit code 99)
# after a few seconds. From https://phabricator.haskell.org/D1075:
#
#   "I used a fairly conservative timeout. IF there is a regression it will
#   crash as soon as the timeout's C call is done. The tricky bit is
#   guesstimating how much time it needs to run to guarantee it's reached the
#   C call.
#   Probably something like 1s is already enough, but I don't know enough to
#   make an educated guess how long it needs to be guaranteed to reach the C
#   call."
thomie's avatar
thomie committed
215
test('T8089',
216
     [exit_code(99), run_timeout_multiplier(0.01)],
thomie's avatar
thomie committed
217
     compile_and_run, [''])
218
test('hWaitForInput-accurate-socket', reqlib('unix'), compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
219
test('T8684', expect_broken(8684), compile_and_run, [''])
220
test('hWaitForInput-accurate-stdin', [expect_broken_for(16535, threaded_ways), omit_ways(['ghci'])], compile_and_run, [''])
221
test('hWaitForInput-accurate-pipe', reqlib('unix'), compile_and_run, [''])
222
test('T9826',normal, compile_and_run,[''])
223
test('T9848',
224
        [ collect_stats('bytes allocated')
225 226 227
        , only_ways(['normal'])],
      compile_and_run,
      ['-O'])
228
test('T10149', normal, compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
229
test('T11334a', normal, compile_and_run, [''])
230
test('T11555', normal, compile_and_run, [''])
231
test('T12494', normal, compile_and_run, [''])
232
test('T12852', when(opsys('mingw32'), skip), compile_and_run, [''])
233
test('lazySTexamples', normal, compile_and_run, [''])
234
test('T11760', req_smp, compile_and_run, ['-threaded -with-rtsopts=-N2'])
235
test('T12874', normal, compile_and_run, [''])
David Feuer's avatar
David Feuer committed
236
test('T13191',
237
        [ collect_stats('bytes allocated', 5)
David Feuer's avatar
David Feuer committed
238 239 240
        , only_ways(['normal'])],
      compile_and_run,
      ['-O'])
241
test('T13525', when(opsys('mingw32'), skip), compile_and_run, [''])
242
test('T13097', normal, compile_and_run, [''])
243
test('functorOperators', normal, compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
244
test('T3474',
245
     [collect_stats('max_bytes_used',5),
Ben Gamari's avatar
Ben Gamari committed
246 247
      only_ways(['normal'])],
     compile_and_run, ['-O'])
Ben Gamari's avatar
Ben Gamari committed
248
test('T14425', normal, compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
249
test('T10412', normal, compile_and_run, [''])
250
test('T13896', normal, compile_and_run, [''])
251
test('T13167', fragile_for(16536, concurrent_ways), compile_and_run, [''])
252
test('T15349', [exit_code(1), expect_broken_for(15349, ['ghci'])], compile_and_run, [''])
253
test('T16111', exit_code(1), compile_and_run, [''])
Ben Gamari's avatar
Ben Gamari committed
254 255
test('T16943a', normal, compile_and_run, [''])
test('T16943b', normal, compile_and_run, [''])