@@ -975,7 +975,9 @@ pLet syn = try (do reserved "let"; n <- pName;
975 return (PCase fc v [(pat, sc)]))
975 return (PCase fc v [(pat, sc)]))
977pPi syn =
977pPi syn =
978+ try (do lazy <- if implicitAllowed syn -- laziness is top level only
978− try (do lazy <- option False (do lchar '|'; return True)
979+ then option False (do lchar '|'; return True)
979 st <- pStatic
981 st <- pStatic
980 lchar '('; xt <- tyDeclList syn; lchar ')'
982 lchar '('; xt <- tyDeclList syn; lchar ')'
981 doc <- option "" (pDocComment '^')
983 doc <- option "" (pDocComment '^')