Skip to content
Snippets Groups Projects
Select Git revision
0 results

gms

  • Clone with SSH
  • Clone with HTTPS
  • 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