nanopass-framework-racket
nanopass-framework-racket copied to clipboard
Errors from with-output-language
Here are two examples of problematic errors from with-output-language:
#lang nanopass
(define-language L
(entry Expr)
(terminals
(symbol (s)))
(Expr (e) s))
(with-output-language (L Foo)
`,3)
This first example gives there error
Dropbox/GitHub/nanopass-framework-racket/private/meta-parser.rkt:361:4: L: unrecognized nonterminal passed to meta parser Foo
But the error location is missing (Foo is not colored red).
The next example shows a missing error:
#lang nanopass
(define-language L
(entry Expr)
(terminals
(symbol (s)))
(Expr (e) s))
(with-output-language (L Foo)
3)
Compiles without errors. I expected to get the error: "Foo is not a nonterminal in L"