diff options
Diffstat (limited to 'testsuite/tests/linear/should_compile/LinearPolyDollar.hs')
| -rw-r--r-- | testsuite/tests/linear/should_compile/LinearPolyDollar.hs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/testsuite/tests/linear/should_compile/LinearPolyDollar.hs b/testsuite/tests/linear/should_compile/LinearPolyDollar.hs deleted file mode 100644 index 7d14351cfc..0000000000 --- a/testsuite/tests/linear/should_compile/LinearPolyDollar.hs +++ /dev/null @@ -1,10 +0,0 @@ -{-# LANGUAGE LinearTypes #-} - -module LinearPolyDollar where - --- The goal of this test is to ensure that the special typing rule of ($) plays --- well with multiplicity-polymorphic functions - -data F = F Bool - -x = F $ True |