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 racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/88c98b73-7ad4-4fd9-ab47-484ab0c686ae%40googlegroups.com.
