Adding tests for infix decls w/ infix data constructors
--- /dev/null
+-- !!! Infix decls w/ infix data constructors
+
+-- GHC used to barf on this...
+
+module ShouldCompile where
+
+infix 2 |-, |+
+
+ps |- q:qs = undefined
+ps |+ p:q:qs = undefined
--- /dev/null
+-- !!! Infix decls w/ infix data constructors
+
+module ShouldFail where
+
+infix 6 |-
+
+ps |- q:qs = undefined
--- /dev/null
+
+read016.hs:7:
+ precedence parsing error
+ cannot mix `|-' [infix 6] and `:' [infixr 5] in the same infix expression
--- /dev/null
+
+==================== Parser ====================
+module ShouldFail where
+|- ps q : qs = undefined
+infix 6 |-
+
+