diff options
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearBottomMult.hs')
-rw-r--r-- | testsuite/tests/linear/should_fail/LinearBottomMult.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearBottomMult.hs b/testsuite/tests/linear/should_fail/LinearBottomMult.hs index 03bf8731a7..b3d00069fe 100644 --- a/testsuite/tests/linear/should_fail/LinearBottomMult.hs +++ b/testsuite/tests/linear/should_fail/LinearBottomMult.hs @@ -6,8 +6,8 @@ module LinearBottomMult where data Void data U a where U :: a -> U a -elim :: U a #-> () +elim :: U a %1 -> () elim (U _) = () -f :: a #-> () +f :: a %1 -> () f x = elim (U (\(a :: Void) -> case a of {})) |