blob: bc15a4fead95f723394d6ba88f63402745b114c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE UnicodeSyntax #-}
module Dollar where
{-
Check $ interacting with multiplicity polymorphism.
This caused Core Lint error previously.
-}
import GHC.Base
data Q a = Q a
data QU = QU ()
test = QU $ ()
qux = Q $ ()
|