@@ -70,18 +70,12 @@ term =
70app :: IParser Type.Raw
70app :: IParser Type.Raw
72 do start <- getMyPosition
72 do start <- getMyPosition
73− f <- constructor0 <|> try tupleCtor <?> "a type constructor"
73+ f <- constructor0 <?> "a type constructor"
74 args <- spacePrefix term
74 args <- spacePrefix term
75 end <- getMyPosition
75 end <- getMyPosition
76 case args of
76 case args of
77 [] -> return f
77 [] -> return f
78 _ -> return (A.A (R.Region start end) (Type.RApp f args))
78 _ -> return (A.A (R.Region start end) (Type.RApp f args))
82− do n <- length <$> parens (many (char ','))
83− let ctor = "_Tuple" ++ show (if n == 0 then 0 else n+1)
84− return (Type.RType (Var.Raw ctor))
87expr :: IParser Type.Raw
81expr :: IParser Type.Raw