search

racket / redex

Other
93 stars 36 forks source link

where/error is not rendered #179

Open shhyou opened 5 years ago

shhyou commented 5 years ago

where/error is not rendered by render-reduction-relation, but I'm not sure if it is actually intended.

#lang racket/base

(require redex)
(define-language empty)

(define R
  (reduction-relation
   empty
   (--> integer 0
        (where/error 5 integer))))

(render-reduction-relation R)

Racket version:

Welcome to DrRacket, version 7.2.0.3 [3m].
Language: racket/base [custom]; memory limit: 512 MB.
>