diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-23 23:28:13 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-23 23:28:13 +0100 |
| commit | 44ce14d48b02c5c3f9f54db53e7dbc6f1fd49038 (patch) | |
| tree | 8cfadfaebb2a5dd7b96ee4363e92a9b3e7112920 /testdata | |
| parent | cad46122ad471492eb42f6464cb33fc537f95d67 (diff) | |
simplify namespace handling
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/language-features/pragma/pragma02.lc | 2 | ||||
| -rw-r--r-- | testdata/language-features/pragma/pragma03.lc | 2 | ||||
| -rw-r--r-- | testdata/language-features/pragma/pragma04.lc | 4 |
3 files changed, 2 insertions, 6 deletions
diff --git a/testdata/language-features/pragma/pragma02.lc b/testdata/language-features/pragma/pragma02.lc index 700272b3..0a2e66ca 100644 --- a/testdata/language-features/pragma/pragma02.lc +++ b/testdata/language-features/pragma/pragma02.lc | |||
| @@ -1,4 +1,2 @@ | |||
| 1 | {-# LANGUAGE NoImplicitPrelude #-} | 1 | {-# LANGUAGE NoImplicitPrelude #-} |
| 2 | {-# LANGUAGE NoTypeNamespace #-} | ||
| 3 | {-# LANGUAGE NoConstructorNamespace #-} | ||
| 4 | {-# LANGUAGE TraceTypeCheck #-} | 2 | {-# LANGUAGE TraceTypeCheck #-} |
diff --git a/testdata/language-features/pragma/pragma03.lc b/testdata/language-features/pragma/pragma03.lc index 8575741e..2f582354 100644 --- a/testdata/language-features/pragma/pragma03.lc +++ b/testdata/language-features/pragma/pragma03.lc | |||
| @@ -1 +1 @@ | |||
| {-# LANGUAGE NoImplicitPrelude, NoTypeNamespace, NoConstructorNamespace, TraceTypeCheck #-} | {-# LANGUAGE NoImplicitPrelude, TraceTypeCheck #-} | ||
diff --git a/testdata/language-features/pragma/pragma04.lc b/testdata/language-features/pragma/pragma04.lc index 6d7bc28a..8e6524c6 100644 --- a/testdata/language-features/pragma/pragma04.lc +++ b/testdata/language-features/pragma/pragma04.lc | |||
| @@ -1,6 +1,4 @@ | |||
| 1 | {-# LANGUAGE NoImplicitPrelude, NoTypeNamespace, NoConstructorNamespace, TraceTypeCheck #-} | 1 | {-# LANGUAGE NoImplicitPrelude, TraceTypeCheck #-} |
| 2 | 2 | ||
| 3 | {-# LANGUAGE NoImplicitPrelude #-} | 3 | {-# LANGUAGE NoImplicitPrelude #-} |
| 4 | {-# LANGUAGE NoTypeNamespace #-} | ||
| 5 | {-# LANGUAGE NoConstructorNamespace #-} | ||
| 6 | {-# LANGUAGE TraceTypeCheck #-} | 4 | {-# LANGUAGE TraceTypeCheck #-} |