diff options
Diffstat (limited to 'testsuite/driver/extra_files.py')
| -rw-r--r-- | testsuite/driver/extra_files.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/driver/extra_files.py b/testsuite/driver/extra_files.py index 3d38fcfe0e..960b1df38b 100644 --- a/testsuite/driver/extra_files.py +++ b/testsuite/driver/extra_files.py @@ -188,7 +188,17 @@ extra_src_files = { 'determ003': ['A.hs'], 'determ005': ['A.hs'], 'determ006': ['spec-inline-determ.hs'], + 'determ007': ['A.hs'], + 'determ008': ['A.hs'], + 'determ009': ['A.hs'], 'determ010': ['A.hs'], + 'determ011': ['A.hs'], + 'determ012': ['A.hs'], + 'determ013': ['A.hs'], + 'determ014': ['A.hs'], + 'determ015': ['A.hs'], + 'determ016': ['A.hs'], + 'determ017': ['A.hs'], 'determ018': ['A.hs'], 'determ019': ['A.hs'], 'dodgy': ['DodgyA.hs'], |