search

greghendershott / markdown

Markdown parser written in Racket.
101 stars 28 forks source link

workaround for redex-check bug in racket 6.0.0.5 #40

Closed stchang closed 10 years ago

stchang commented 10 years ago

error msg: generate-term: #:i-th does not support "side-condition" patterns

greghendershott commented 10 years ago

Thanks for looking at this!

Travis says that builds on HEAD... but unfortunately only on HEAD. Did Racket HEAD introduce some non-backward-compatible thing here? (I don't know redex at all.)

stchang commented 10 years ago

Yes, this was from a commit today, https://github.com/plt/racket/commit/494f32084addbca15f59fe0e97740763c9cb25a7

Robby did change the default behavior of redex-check but I dont think it was intended to be backwards incompatible. I asked on dev and he says it's a bug. The #:ad-hoc keyword gets the old behavior.

stchang commented 10 years ago

Bug is fixed: https://github.com/plt/racket/commit/2cf652eccf03c64e46d5a454c27a31f278e73dc7

greghendershott commented 10 years ago

Thanks!