nanopass-framework-racket
nanopass-framework-racket copied to clipboard
Internal error from make-language
The following program gives the error:
../../Applications/Racket v6.2/collects/racket/contract/private/blame.rkt:143:0: make-language: contract violation
expected: identifier?
given: #f
in: the 2nd argument of
(->
identifier?
identifier?
(listof tspec?)
(listof ntspec?)
language?)
contract from:
#lang nanopass
(define variable? symbol?)
(define-language L
(entry Expr)
(terminals
(variable (x)))
(Expr (e)
x))
(define-language L1
(terminals
(+ (variable l))))