1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
test('RenameCase1', ignore_stderr, makefile_test, ['RenameCase1'])
test('LayoutLet2', ignore_stderr, makefile_test, ['LayoutLet2'])
test('LayoutLet3', ignore_stderr, makefile_test, ['LayoutLet3'])
test('LayoutLet4', ignore_stderr, makefile_test, ['LayoutLet4'])
test('Rename1', ignore_stderr, makefile_test, ['Rename1'])
test('Rename2', ignore_stderr, makefile_test, ['Rename2'])
test('LayoutIn1', ignore_stderr, makefile_test, ['LayoutIn1'])
test('LayoutIn3', ignore_stderr, makefile_test, ['LayoutIn3'])
test('LayoutIn3a', ignore_stderr, makefile_test, ['LayoutIn3a'])
test('LayoutIn3b', ignore_stderr, makefile_test, ['LayoutIn3b'])
test('LayoutIn4', ignore_stderr, makefile_test, ['LayoutIn4'])
test('LocToName', ignore_stderr, makefile_test, ['LocToName'])
test('LetIn1', ignore_stderr, makefile_test, ['LetIn1'])
test('WhereIn4', ignore_stderr, makefile_test, ['WhereIn4'])
test('AddDecl1', ignore_stderr, makefile_test, ['AddDecl1'])
test('AddDecl2', ignore_stderr, makefile_test, ['AddDecl2'])
test('AddDecl3', ignore_stderr, makefile_test, ['AddDecl3'])
test('LocalDecls', ignore_stderr, makefile_test, ['LocalDecls'])
test('LocalDecls2', ignore_stderr, makefile_test, ['LocalDecls2'])
test('WhereIn3a', ignore_stderr, makefile_test, ['WhereIn3a'])
test('WhereIn3b', ignore_stderr, makefile_test, ['WhereIn3b'])
test('AddLocalDecl1', ignore_stderr, makefile_test, ['AddLocalDecl1'])
test('AddLocalDecl2', ignore_stderr, makefile_test, ['AddLocalDecl2'])
test('AddLocalDecl3', ignore_stderr, makefile_test, ['AddLocalDecl3'])
test('AddLocalDecl4', ignore_stderr, makefile_test, ['AddLocalDecl4'])
test('AddLocalDecl5', ignore_stderr, makefile_test, ['AddLocalDecl5'])
test('AddLocalDecl6', ignore_stderr, makefile_test, ['AddLocalDecl6'])
test('RmDecl1', ignore_stderr, makefile_test, ['RmDecl1'])
test('RmDecl2', ignore_stderr, makefile_test, ['RmDecl2'])
test('RmDecl3', ignore_stderr, makefile_test, ['RmDecl3'])
test('RmDecl4', ignore_stderr, makefile_test, ['RmDecl4'])
test('RmDecl5', ignore_stderr, makefile_test, ['RmDecl5'])
test('RmDecl6', ignore_stderr, makefile_test, ['RmDecl6'])
test('RmDecl7', ignore_stderr, makefile_test, ['RmDecl7'])
test('RmTypeSig1', ignore_stderr, makefile_test, ['RmTypeSig1'])
test('RmTypeSig2', ignore_stderr, makefile_test, ['RmTypeSig2'])
test('AddHiding1', ignore_stderr, makefile_test, ['AddHiding1'])
test('AddHiding2', ignore_stderr, makefile_test, ['AddHiding2'])
|
