racket / redex

Other
93 stars 36 forks source link

`derivation/ps` always causes an error by calling a non-existent method #259

Closed nxjfxu closed 1 year ago

nxjfxu commented 1 year ago

Running derivation/ps seems to always lead to this error:

send: no such method
  method name: re-run-layout
  class name: derivation-pb%

Minimal reproducible example:

#lang racket

(require redex)

(define-language Test
  [expr ::= foo bar])

(define-judgment-form Test
  #:contract (P expr)
  #:mode (P O)
  [(P foo) "foo"])

; fails here
(derivation/ps (first (build-derivations (P foo))) "test.ps")
rfindler commented 1 year ago

Thank you!