1
2
3
4
5
6
7
8
9
10
|
test('Dep1', only_ways('normal'), compile, [''])
test('Dep2', only_ways('normal'), compile, [''])
test('Dep3', only_ways('normal'), compile, [''])
test('KindEqualities', only_ways('normal'), compile, [''])
test('KindEqualities2', only_ways('normal'), compile, [''])
test('Rae31', only_ways('normal'), compile, [''])
test('RAE_T32b', only_ways('normal'), compile, [''])
test('KindLevels', normal, compile, [''])
test('RaeBlogPost', normal, compile, [''])
test('mkGADTVars', normal, compile, [''])
|