search

akeep / nanopass-framework-racket

Racket port of the nanopass-framework
MIT License
34 stars 9 forks source link

Internal error: private/records.rkt:465:43: unique-symbol: contract violation #17

Closed soegaard closed 9 years ago

soegaard commented 9 years ago

lang nanopass

(define-language Lsrc (entry Expr) (terminals (symbol (x)) (syntax (s)))

(Binding (b) [(x ...) e])

(Expr (e) x (let-values s (b ...) e0 e1 ...)))

Dropbox/GitHub/nanopass-framework-racket/private/records.rkt:465:43: unique-symbol: contract violation expected: identifier? given: #<syntax:9:5 (x ...)> in: an element of the rest argument of (->* (identifier?)

:rest

   (listof identifier?)
   symbol?)

contract from:

/nanopass-framework-racket/private/helpers.rkt blaming: /nanopass-framework-racket/private/records.rkt (assuming the contract is correct) at: /nanopass-framework-racket/private/helpers.rkt:34.5
akeep commented 9 years ago

fixed by commit 79944d6 by Leif Andersen.