Bad erreur de syntaxe sur le type de définir à l'aide #LANG plai

Question

Je reçois une mauvaise erreur de syntaxe sur ce morceau de code

deleted 

et plus précisément, cette erreur:

xxx:22.0: define-type: bad syntax in: xxx 
    #(739 316) 

Je m nouveau à la langue serait donc assez aimable pour me dire ce qui ne va pas avec mon code et comment se débarrasser de l'erreur?

Answer 1

Voici les lignes problématiques qui sont à l'origine de la syntaxe d'erreur :

i --> [give (expr1 OE?) name (id-ref1 symbol?) in (expr2 OE?)] 
ii --> [(string-literal string?)] 
iii --> [(id-ref2 symbol?)] 

Comme indiqué dans le docs, define-type a la structure

(define-type type-id variant ...) 

où

variant = (variant-id (field-id contract-expr) ...) 

Donc, chaque variante doit avoir un variant-id, et chaque ID-champ doit avoir un contrat associé. La violation de ceci est la cause de l'erreur de syntaxe.

Dans le cas de (i), les deux contrats nom et à manque, donc une solution possible est d'ajouter des contrats dans les champs, en tant que tel (en utilisant string? comme un contrat par exemple):

[give (expr1 OE?) (name string?) (id-ref1 symbol?) (in string?) (expr2 OE?)] 

les deux (ii) et (iii) manque variante ids, afin de les ajouter vont résoudre le problème:

[some-variant-id (string-literal string?)] 
[some-other-variant-id (id-ref2 symbol?)] 

est ici une ré-écriture possible du type, avec des modifications proposées:

(define-type OE 
    (group (expr1 OE?) (expr2 OE?)) 
    (sequentially (expr1 OE?) (expr2 OE?)) 
    (together (expr1 OE?) (expr2 OE?)) 
    (join (expr1 OE?) (expr2 OE?)) 
    (arrive (expr OE?)) 
    (give (expr1 OE?) (name string?) (id-ref1 symbol?) (in string?) (expr2 OE?)) 
    (some-variant-id (string-literal string?)) 
    (some-other-variant-id (id-ref2 symbol?)))