Skip to content
Snippets Groups Projects
Commit 41f8365c authored by Arnaud Spiwack's avatar Arnaud Spiwack Committed by Marge Bot
Browse files

Add test for #25515

parent caaf5388
No related branches found
No related tags found
No related merge requests found
{-# LANGUAGE LinearTypes #-}
module T25515 where
data C = MkC { unc :: Int }
f :: Int %1 -> C
f x = MkC { unc = x }
......@@ -47,3 +47,4 @@ test('LinearLet', normal, compile, [''])
test('LinearLetPoly', normal, compile, [''])
test('LinearListComprehension', normal, compile, ['-dlinear-core-lint'])
test('OmitFieldPat', normal, compile, ['-dcore-lint'])
test('T25515', expect_broken(25515), compile, ['-dcore-lint'])
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment