Hi, im a beginner with racket and im using it to implement a language in
order to test its operational semantic rules.
This is the function where i keep having the error:
(define-metafunction FS
call : env-ß classes address f ((x v)...) -> e
[(call (env-ß_1 ... ((address_1 C_1 n_1 vars_1 ...) ... (address C n vars
...) (address_2 C_2 n_2 vars_2 ...) ...) env-ß_2 ...)
((contract C_1 {x_11 ...} F_1) ... (contract C {x_1 ...} f (x ...) {return
e}) (contract C_2 {x_22 ...} F_2) ...) address f ((x v)...))
e])
And this is the error message :
../../../../../../../Applications/Racket
v7.6/share/pkgs/redex-lib/redex/private/reduction-semantics.rkt:1588:55:
call: (call (((2 C 4 (x 3) (r 9)) (9 A 24 (a 9) (b 5)))) ((contract C (x r)
(a (d y) (return (y + d)))) (contract A (a b) (c (a b) (return (3))))) 2 a
(d 7) (y 3)) is not in my domain
I have tried changing the parenthesis but i can't seem to get it right.
Here's the code
<https://bitbucket.org/beatrizmoreira/contracts/src/master/newfs.rkt> .Thank
you guys for your help! :)
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/88c98b73-7ad4-4fd9-ab47-484ab0c686ae%40googlegroups.com.
