1b5d32d · rowtype-yoga/purescript-native

CONTRIBUTORS.md+1

@@ -64,6 +64,7 @@ This file lists the contributors to the PureScript compiler project, and the ter

64- [@tfausak](https://github.com/tfausak) (Taylor Fausak) My existing contributions and all future contributions until further notice are Copyright Taylor Fausak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).

65- [@codedmart](https://github.com/codedmart) (Brandon Martin) My existing contributions and all future contributions until further notice are Copyright Brandon Martin, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).

66- [@passy](https://github.com/passy) (Pascal Hartig) My existing contributions and all future contributions until further notice are Copyright Pascal Hartig, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).

67+- [@DavidLindbom](https://github.com/DavidLindbom) (David Lindbom) My existing contributions and all future contributions until further notice are Copyright David Lindbom, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).

67

68

68### Companies

69### Companies

69

70

examples/passing/UnicodeType.pursnew file+23

@@ -0,0 +1,23 @@

1+module Main where

2+

3+import Prelude

4+

5+class (Monad m) ⇐ Monad1 m where

6+ f1 :: Int

7+

8+class (Monad m) <= Monad2 m where

9+ f2 :: Int

10+

11+f ∷ ∀ m. Monad m ⇒ Int → m Int

12+f n = do

13+ n' ← return n

14+ return n'

15+

16+f' :: forall m. Monad m => Int -> m Int

17+f' n = do

18+ n' <- return n

19+ return n'

20+

21+(←→) a b = a ←→ b

22+

23+main = Control.Monad.Eff.Console.log "Done"

src/Language/PureScript/Parser/Lexer.hs+6

@@ -185,10 +185,15 @@ parsePositionedToken = P.try $ do

185parseToken :: P.Parsec String u Token

186parseToken = P.choice

187 [ P.try $ P.string "<-" *> P.notFollowedBy symbolChar *> pure LArrow

188+ , P.try $ P.string "←" *> P.notFollowedBy symbolChar *> pure LArrow

188 , P.try $ P.string "<=" *> P.notFollowedBy symbolChar *> pure LFatArrow

189 , P.try $ P.string "<=" *> P.notFollowedBy symbolChar *> pure LFatArrow

190+ , P.try $ P.string "⇐" *> P.notFollowedBy symbolChar *> pure LFatArrow

189 , P.try $ P.string "->" *> P.notFollowedBy symbolChar *> pure RArrow

191 , P.try $ P.string "->" *> P.notFollowedBy symbolChar *> pure RArrow

192+ , P.try $ P.string "→" *> P.notFollowedBy symbolChar *> pure RArrow

190 , P.try $ P.string "=>" *> P.notFollowedBy symbolChar *> pure RFatArrow

193 , P.try $ P.string "=>" *> P.notFollowedBy symbolChar *> pure RFatArrow

194+ , P.try $ P.string "⇒" *> P.notFollowedBy symbolChar *> pure RFatArrow

191 , P.try $ P.string "::" *> P.notFollowedBy symbolChar *> pure DoubleColon

195 , P.try $ P.string "::" *> P.notFollowedBy symbolChar *> pure DoubleColon

196+ , P.try $ P.string "∷" *> P.notFollowedBy symbolChar *> pure DoubleColon

192 , P.try $ P.char '(' *> pure LParen

197 , P.try $ P.char '(' *> pure LParen

193 , P.try $ P.char ')' *> pure RParen

198 , P.try $ P.char ')' *> pure RParen

194 , P.try $ P.char '{' *> pure LBrace

199 , P.try $ P.char '{' *> pure LBrace

@@ -411,6 +416,7 @@ reserved :: String -> TokenParser ()

411reserved s = token go P.<?> show s

416reserved s = token go P.<?> show s

412 where

417 where

413 go (LName s') | s == s' = Just ()

418 go (LName s') | s == s' = Just ()

419+ go (Symbol s') | s == s' = Just ()

414 go _ = Nothing

420 go _ = Nothing

415

421

416uname :: TokenParser String

422uname :: TokenParser String

src/Language/PureScript/Parser/Types.hs+1−1

@@ -36,7 +36,7 @@ parseTypeConstructor :: TokenParser Type

36parseTypeConstructor = TypeConstructor <$> parseQualified properName

37

38parseForAll :: TokenParser Type

39−parseForAll = mkForAll <$> (reserved "forall" *> P.many1 (indented *> identifier) <* indented <* dot)

39+parseForAll = mkForAll <$> ((reserved "forall" <|> reserved "∀") *> P.many1 (indented *> identifier) <* indented <* dot)

40 <*> parseType

41

42-- |