From af3b1444239027170f5e99a6dd67c1e2c6c44432 Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk Date: Fri, 11 Apr 2014 16:58:34 +0100 Subject: Parse identifiers with ^ and ⋆ in them. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fixes #298. --- html-test/src/Bug298.hs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 html-test/src/Bug298.hs (limited to 'html-test/src') diff --git a/html-test/src/Bug298.hs b/html-test/src/Bug298.hs new file mode 100644 index 00000000..07d6fa0c --- /dev/null +++ b/html-test/src/Bug298.hs @@ -0,0 +1,22 @@ +-- We introduced a regression in 2.14.x where we don't consider +-- identifiers with ^ as valid. We test that the regression goes away +-- here. It's a silly typo in the parser, really. Same with ★ which is a valid +-- symbol according to the 2010 report. +module Bug298 where + + +(<^>) :: (a -> a) -> a -> a +x <^> y = x y + +(<^) :: a -> a -> a +x <^ y = x + +(^>) :: a -> a -> a +x ^> y = y + +(⋆^) :: a -> a -> a +x ⋆^ y = y + +-- | Links to '<^>' and '^>', '<^' and '⋆^'. +f :: () +f = () -- cgit v1.2.3