Skip to content
This repository has been archived by the owner on Oct 8, 2022. It is now read-only.

Internal error from make-language #37

Open
soegaard opened this issue Jul 27, 2015 · 0 comments
Open

Internal error from make-language #37

soegaard opened this issue Jul 27, 2015 · 0 comments

Comments

@soegaard
Copy link

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:
/nanopass-framework-racket/private/records.rkt
blaming: /nanopass-framework-racket/private/language.rkt
(assuming the contract is correct)
at: /nanopass-framework-racket/private/records.rkt:65.5

#lang nanopass
(define variable? symbol?)

(define-language L
  (entry Expr)
  (terminals
   (variable (x)))
  (Expr (e)
    x))

(define-language L1
  (terminals
   (+ (variable l))))
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant