Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • debug-partition-size
  • wta-generator
  • fixes
  • bench-hex
  • ci-artifacts
  • new-monoids
  • stack
  • sumbag
  • tutorial
  • web
  • features/disable-sanity
  • ghc-8.4.4
  • linux-bin-artifacts
  • syntax-doc
  • ci-stack
  • rationals
  • double-round
  • init-time
  • group-weight
20 results

bench

  • 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
    ..
    MA
    BenchMain.hs