Fix purescript#2092, precedence of type application (purescript#2098)

paf31 · paf31 · commit 73746d9d5035 · 2016-05-08T11:50:18.000-07:00
* Fix purescript#2092, precedence of type application * one more test
diff --git a/examples/passing/TypeOperators.purs b/examples/passing/TypeOperators.purs
@@ -5,6 +5,14 @@ import A (type (~>), type (/\), (/\))
 natty ∷ ∀ f. f ~> f
 natty x = x
 
+data Compose f g a = Compose (f (g a))
+
+testPrecedence1 ∷ ∀ f g. Compose f g ~> Compose f g
+testPrecedence1 x = x
+
+testPrecedence2 ∷ ∀ f g. f ~> g → f ~> g
+testPrecedence2 nat fx = nat fx
+
 swap ∷ ∀ a b. a /\ b → b /\ a
 swap (a /\ b) = b /\ a
 
diff --git a/src/Language/PureScript/Parser/Types.hs b/src/Language/PureScript/Parser/Types.hs
@@ -82,10 +82,10 @@ parseConstrainedType = do
 parseAnyType :: TokenParser Type
 parseAnyType = P.buildExpressionParser operators (buildPostfixParser postfixTable parseTypeAtom) P.<?> "type"
   where
-  operators = [ [ P.Infix (P.try (parseQualified (Op <$> symbol)) >>= \ident ->
+  operators = [ [ P.Infix (return TypeApp) P.AssocLeft ]
+              , [ P.Infix (P.try (parseQualified (Op <$> symbol)) >>= \ident ->
                     return (BinaryNoParensType (TypeOp ident))) P.AssocRight
                 ]
-              , [ P.Infix (return TypeApp) P.AssocLeft ]
               , [ P.Infix (rarrow >> return function) P.AssocRight ]
               ]
   postfixTable = [ \t -> KindedType t <$> (indented *> doubleColon *> parseKind)

Original file line number	Diff line number	Diff line change
`@@ -82,10 +82,10 @@ parseConstrainedType = do`
`82`	`82`	`parseAnyType :: TokenParser Type`
`83`	`83`	`parseAnyType = P.buildExpressionParser operators (buildPostfixParser postfixTable parseTypeAtom) P.<?> "type"`
`84`	`84`	`where`
`85`		`- operators = [ [ P.Infix (P.try (parseQualified (Op <$> symbol)) >>= \ident ->`
	`85`	`+ operators = [ [ P.Infix (return TypeApp) P.AssocLeft ]`
	`86`	`+ , [ P.Infix (P.try (parseQualified (Op <$> symbol)) >>= \ident ->`
`86`	`87`	`return (BinaryNoParensType (TypeOp ident))) P.AssocRight`
`87`	`88`	`]`
`88`		`- , [ P.Infix (return TypeApp) P.AssocLeft ]`
`89`	`89`	`, [ P.Infix (rarrow >> return function) P.AssocRight ]`
`90`	`90`	`]`
`91`	`91`	`postfixTable = [ \t -> KindedType t <$> (indented > doubleColon > parseKind)`