diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2020-10-28 23:09:48 +0000 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2020-11-02 08:23:42 +0000 |
| commit | 791cb337549df002ff4323299e6baf825fe994f4 (patch) | |
| tree | ba29187925df87daa5fcfa3c10a94179c720676a /testsuite/tests/linear/should_fail/T18888.stderr | |
| parent | e63db32c7eb089985a1a7279a0a886a32d70ac0e (diff) | |
| download | haskell-791cb337549df002ff4323299e6baf825fe994f4.tar.gz | |
Restrict Linear arrow %1 to exactly literal 1 onlywip/T18888
This disallows `a %001 -> b`, and makes sure the type literal is
printed from its SourceText so it is clear why.
Closes #18888
Diffstat (limited to 'testsuite/tests/linear/should_fail/T18888.stderr')
| -rw-r--r-- | testsuite/tests/linear/should_fail/T18888.stderr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/T18888.stderr b/testsuite/tests/linear/should_fail/T18888.stderr new file mode 100644 index 0000000000..c224a5b331 --- /dev/null +++ b/testsuite/tests/linear/should_fail/T18888.stderr @@ -0,0 +1,3 @@ + +T18888.hs:4:9: + Illegal type: ‘001’ Perhaps you intended to use DataKinds |