Commit 8a1456a7 authored by ajp's avatar ajp Committed by thoughtpolice
Browse files

Test case for #7901.


Signed-off-by: thoughtpolice's avatarAustin Seipp <aseipp@pobox.com>
parent 9aaaf624
{-# LANGUAGE UnicodeSyntax #-}
module ParserNoForallUnicode where
id' :: a . a a
id' a = a
ParserNoForallUnicode.hs:5:8:
Illegal symbol '∀' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: ∀ <tvs>. <type>
......@@ -72,6 +72,7 @@ test('NondecreasingIndentationFail', normal, compile_fail, [''])
test('readFailTraditionalRecords1', normal, compile_fail, [''])
test('readFailTraditionalRecords2', normal, compile_fail, [''])
test('readFailTraditionalRecords3', normal, compile_fail, [''])
test('ParserNoForallUnicode', normal, compile_fail, [''])
test('ParserNoLambdaCase', when(compiler_lt('ghc', '7.5'), skip), compile_fail, [''])
test('ParserNoMultiWayIf', when(compiler_lt('ghc', '7.5'), skip), compile_fail, [''])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment