Skip to content
Snippets Groups Projects

'forall' always a keyword, plus the dot type operator

Merged Vladislav Zavialov requested to merge wip/forall-keyword into master

This merge request:

  1. implements the "Make forall a keyword in types" proposal (accepted)
  2. implements the "The dot type operator" proposal (accepted)
  3. fixes a bad error message about existential quantification, Trac #16311

It also improves handling of Unicode syntax in hintExplicitForall and adds two related utilities, starSym and forallSym.

Edited by Vladislav Zavialov

Merge request reports

Pipeline #2233 canceled

Pipeline canceled for 887454d8 on wip/forall-keyword

Merged by Marge BotMarge Bot 6 years ago (Feb 15, 2019 12:35pm UTC)

Loading

Pipeline #2234 passed with warnings

Pipeline passed with warnings for 887454d8 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading