Skip to content
Snippets Groups Projects
Select Git revision
  • 833e48259e23aea76f3765d28d1b2200332301f7
  • passt default
  • master
  • pu
  • todo
  • next
  • maint
  • v2.8.0-rc1
  • v2.8.0-rc0
  • v2.7.2
  • v2.7.1
  • v2.7.0
  • v2.6.5
  • v2.7.0-rc3
  • v2.7.0-rc2
  • v2.7.0-rc1
  • v2.7.0-rc0
  • v2.6.4
  • v2.6.3
  • v2.6.2
  • v2.6.1
  • v2.3.10
  • v2.5.4
  • v2.4.10
  • v2.6.0
  • v2.6.0-rc3
  • v2.5.3
27 results

diff-lib.c

user avatar
Hans-Peter Deifel authored
This cleans up newline handling in the whitespace parser:

Newlines are not treated the same as other whitespace any more and are
only allowed after the functor expression and between individual
morphism points.

By doing this, we get a less surprising grammar for parsing ("x: { y:"
would never try to parse the "y:" as the start of a new definition)
and can speed up the hot path (a single space character) considerably.
7ffafe17
History