Skip to content
Snippets Groups Projects
Select Git revision
  • master
  • cx_freeze
  • develop
  • radio_multilink
  • dev-kinect
  • dev-leapmotion
  • 2019.09.1
  • 2019.09
  • 2019.01
  • 2018.12
  • 2018.10
  • 2018.01.3
  • 2018.01.2
  • 2018.01.1
  • 2018.01
  • 2017.06.1
  • 2017.06
  • 2017.05
  • 2017.04
  • 2016.4.1
  • 2016.4
  • 2016.04rc1
  • 2016.02
  • 2015.09
  • 2015.08
  • 2014.12.3
26 results

_data

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
Name Last commit Last update
..