summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearSeq.hs
blob: efe102c510670643d25c2c540f26495708872f19 (plain)
1
2
3
4
5
6
{-# LANGUAGE LinearTypes #-}

module LinearSeq where

bad :: a %1 -> ()
bad x = seq x ()