Rob Norris

The parser consumes strings, which it treats logically as chunks of characters but is more efficient. On success there may be leftover input, which the stream processor uses as the...

Easy enough to hack up. As always it will come down to details. ``` scala import atto._, Atto._ import ParseResult._ def chunk[A](chars: Stream[Char], p: Parser[A]): (ParseResult[A], Stream[Char]) = { def...

You're going to have a rough time calling atto from anything other than Scala, but the way you can figure this out is to try it from the REPL and...

That's a bug by the way; there is no non-empty list in the signature so it doesn't actually need to you provide that instance. I'll fix that.

Yeah `many` doesn't work with parsers that can successfully consume zero characters; you can parse an infinite number of empty strings. I'm not sure how to fix this without distinguishing...

We're running into this too, also randomly :-\

The project in question is here https://github.com/gemini-hlsw/lucuma-core at 30f412795195b54a3966917b2f28160ddd21e760 and we have been unable to narrow the failure down at all. The choice of JVM/JDK (8/11/17) doesn't seem to matter,...

Yes, 2.13.7. We have seen this and related issues in GH CI, which should be clean although we may add `git clean -xdf` to the build just to be extra...

Ok, so yes it absolutely happens with clean builds, as do at least three other distinct kinds of compiler crashes. I'm cataloging them here https://github.com/tpolecat/lucuma-core-crashes and will keep building in...