Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 84
    • Issues 84
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 9
    • Merge requests 9
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • stdpp
  • Merge requests
  • !144

Another try at removing strings.length

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged Michael Sammler requested to merge ci/msammler/length into master Apr 10, 2020
  • Overview 22
  • Commits 5
  • Pipelines 2
  • Changes 3

See discussion in !129 (merged) The idea of this version is to have two notations, one which shadows the bad definition Strings.length and the other which shadows the bad Notation List.length, which is bad because it is parsing only.

Edited Apr 10, 2020 by Michael Sammler
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: ci/msammler/length