suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Redex: pass language id through for term errors

Browse Source
This commit is contained in:
Burke Fetscher 2013-04-04 22:59:14 -05:00
parent aa29fe01a8
commit d00099dbdb
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/term.rkt
View File

@ -45,7 +45,7 @@
(syntax-e #'form))])
(if (syntax->datum #'lang-stx)
(let ([lang-nts (let loop ([ls #'lang-stx])
(define slv (syntax-local-value ls))
(define slv (syntax-local-value ls (λ () #'lang-stx)))
(if (term-id? slv)
(loop (term-id-prev-id slv))
(language-id-nts ls 'term)))])

4
collects/redex/tests/syn-err-tests/term-lang.rktd
View File

@ -5,3 +5,7 @@
(#rx"before underscore"
([not-a-non-term AA_1])
(term (Q_1 Q_2 (Q_3 not-a-non-term)) #:lang syn-err-lang))
(#rx".*define-language.*boglang"
([bogus-language boglang])
(term 5 #:lang bogus-language))