@@ -179,13 +179,13 @@ internalExpr syn =
179179 <|> try (unifyLog syn)
180180 <|> try (noImplicits syn)
181181 <|> recordType syn
182− <|> try (simpleExpr syn)
183182 <|> lambda syn
184183 <|> quoteGoal syn
185184 <|> let_ syn
186185 <|> rewriteTerm syn
187− <|> pi syn
186+ <|> try(pi syn)
188187 <|> doBlock syn
188+ <|> simpleExpr syn
189189 <?> "expression"
190190
191191{- | Parses a case expression
@@ -266,22 +266,22 @@ simpleExpr syn =
266266 <|> proofExpr syn
267267 <|> tacticsExpr syn
268268 <|> caseExpr syn
269− <|> try (do fc <- getFC
270− x <- fnName
271− return (PRef fc x))
269+ <|> do reserved "Type"; return PType
270+ <|> do fc <- getFC
271+ x <- fnName
272+ return (PRef fc x)
272273 <|> try (listExpr syn)
273274 <|> try (comprehension syn)
274− <|> try (alt syn)
275− <|> try (idiom syn)
275+ <|> alt syn
276+ <|> idiom syn
276277 <|> do lchar '('
277278 bracketed (disallowImp syn)
278− <|> try (do c <- constant
279− fc <- getFC
280− return (modifyConst syn fc (PConstant c)))
281− <|> do reserved "Type"; return PType
282− <|> try (do symbol "_|_"
283− fc <- getFC
284− return (PFalse fc))
279+ <|> do c <- constant
280+ fc <- getFC
281+ return (modifyConst syn fc (PConstant c))
282+ <|> do symbol "_|_"
283+ fc <- getFC
284+ return (PFalse fc)
285285 <|> do lchar '_'; return Placeholder
286286 <|> simpleExternalExpr syn
287287 <?> "expression"