diff options
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/depmet_1_pos.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_chaining_zw.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_norm_ret.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_oopsla_session.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_oopsla_session_2.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_oopsla_session_simpler.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_oopsla_zipwith.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/depmet_implicit_tpbetareduce.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/t1569.flags | 1 |
9 files changed, 0 insertions, 9 deletions
diff --git a/test/files/pos/depmet_1_pos.flags b/test/files/pos/depmet_1_pos.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_1_pos.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_chaining_zw.flags b/test/files/pos/depmet_implicit_chaining_zw.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_chaining_zw.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_norm_ret.flags b/test/files/pos/depmet_implicit_norm_ret.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_norm_ret.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_oopsla_session.flags b/test/files/pos/depmet_implicit_oopsla_session.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_oopsla_session.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_oopsla_session_2.flags b/test/files/pos/depmet_implicit_oopsla_session_2.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_oopsla_session_2.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_oopsla_session_simpler.flags b/test/files/pos/depmet_implicit_oopsla_session_simpler.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_oopsla_session_simpler.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_oopsla_zipwith.flags b/test/files/pos/depmet_implicit_oopsla_zipwith.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_oopsla_zipwith.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/depmet_implicit_tpbetareduce.flags b/test/files/pos/depmet_implicit_tpbetareduce.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/depmet_implicit_tpbetareduce.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file diff --git a/test/files/pos/t1569.flags b/test/files/pos/t1569.flags deleted file mode 100644 index 1c26b24745..0000000000 --- a/test/files/pos/t1569.flags +++ /dev/null @@ -1 +0,0 @@ --Ydependent-method-types
\ No newline at end of file |