Re: [scala-internals] Re: scala-parser: a parboiled2 parser for Scala in 700LOC

70 views
Skip to first unread message

Jon Pretty

unread,
Nov 29, 2014, 5:47:49 PM11/29/14
to scala-internals, type...@googlegroups.com
Cool! I'm sorry I missed that the first time round...

If you have a diff/PR, it would be great to experiment with it in the Typelevel fork...

Cheers,
Jon

On 29 November 2014 at 22:27, Simon Ochsenreither <simon.och...@gmail.com> wrote:

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scala-interna...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.



--
Jon Pretty | @propensive

Simon Ochsenreither

unread,
Nov 29, 2014, 11:08:12 PM11/29/14
to type...@googlegroups.com, scala-i...@googlegroups.com
Sure, I'll have a look! I'd be happy to experiment with it in Typelevel, it's just that I'm currently extremely busy with other stuff I finally want to get done.

Jon Pretty

unread,
Nov 29, 2014, 11:30:09 PM11/29/14
to Simon Ochsenreither, type...@googlegroups.com, scala-internals
Sure - I know that feeling... it's the middle of the night where you are too, right? ;)

If it makes things easier, I'm happy to work with a crude diff against an older version of Scala, if that's all you've got -- it doesn't need to be a beautifully-crafted PR.

Bedtime, I think.
Jon

On 30 November 2014 at 04:08, Simon Ochsenreither <simon.och...@gmail.com> wrote:
Sure, I'll have a look! I'd be happy to experiment with it in Typelevel, it's just that I'm currently extremely busy with other stuff I finally want to get done.

--
You received this message because you are subscribed to the Google Groups "Typelevel Development List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to typelevel+...@googlegroups.com.
To post to this group, send email to type...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/typelevel/d9111788-7c1c-4c28-8b47-933c4ba5f361%40googlegroups.com.

For more options, visit https://groups.google.com/d/optout.



--
Jon Pretty | @propensive
Reply all
Reply to author
Forward
0 new messages