Skip to content

Changes in PLT Redex breaks the reduction relations #68

Open
@Kraks

Description

@Kraks

Hi,

I'm using Racket 7.1 and trying to play with some reduction relations. However, if I simply run command racket lambdapy-reduction.rkt, the following error is raised. I guess it was due to the changes in PLT Redex.

lambdapy-reduction.rkt:244:9: reduction-relation: shortcut name may not be a non-terminal
  at: e_1
  in: (reduction-relation λπ #:domain p (--> ((in-hole E (list val_c (val ...))) ε Σ) ((in-hole E (pointer-val ref_new)) ε Σ_1) "E-List" (where (Σ_1 ref_new) (extend-store Σ (obj-val val_c (meta-list (val ...)) ())))) (--> ((in-hole E (tuple val_c (va...
  location...:
   lambdapy-reduction.rkt:244:9
  context...:
   do-raise-syntax-error
   /home/kraks/software/racket/share/pkgs/redex-lib/redex/private/reduction-semantics.rkt:660:6: try-next
   /home/kraks/software/racket/share/pkgs/redex-lib/redex/private/reduction-semantics.rkt:659:4: for-loop
   /home/kraks/software/racket/share/pkgs/redex-lib/redex/private/reduction-semantics.rkt:388:0: do-reduction-relation
   apply-transformer-in-context
   apply-transformer52
   dispatch-transformer41
   loop
   [repeats 5 more times]
   module-begin-k
   expand-module16
   expand-capturing-lifts
   expand-single
   temp74_0
   compile16
   temp68_0
   ...

Thanks!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions