diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-10 14:41:25 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-27 20:08:28 +0300 |
| commit | 8339bc4d413d47482ca3cf7308dc7ed2e78b0b83 (patch) | |
| tree | 68f0e1cac7e08808a1b925c99f661c3403e23d19 /testsuite/tests/linear/should_compile/MultConstructor.hs | |
| parent | a9ce159ba58ca7e8946b46e19b1361588b677a26 (diff) | |
| download | haskell-8339bc4d413d47482ca3cf7308dc7ed2e78b0b83.tar.gz | |
New linear types syntax: a %p -> b
Implements GHC Proposal 356
Diffstat (limited to 'testsuite/tests/linear/should_compile/MultConstructor.hs')
| -rw-r--r-- | testsuite/tests/linear/should_compile/MultConstructor.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/linear/should_compile/MultConstructor.hs b/testsuite/tests/linear/should_compile/MultConstructor.hs index 6e631774ba..a97eade18e 100644 --- a/testsuite/tests/linear/should_compile/MultConstructor.hs +++ b/testsuite/tests/linear/should_compile/MultConstructor.hs @@ -3,11 +3,11 @@ module MultConstructor where import GHC.Types -data T p a where - MkT :: a # p -> T p a +data T (p :: Multiplicity) a where + MkT :: a %p -> T p a {- this currently fails -g :: forall (b :: Type). T 'Many b #-> (b,b) +g :: forall (b :: Type). T 'Many b %1 -> (b,b) g (MkT x) = (x,x) -} |