Hello, I have a bunch of relation rules, but in one of them i need to check if f_0 is the same as i have in one of the environments, but the error *reduction-relation: found the same binder, f_0, at different depths, 0 and 1 ... F_01 ... (T f_0 ((T_00 x_00) ...) (return e)) F_02 ...)) (contract C_2 ((T_2 x_21) ... K_2 F_2... *appears and i would like to know if there's an alternative.
The part of the code where the error is is below and the link for the repository is this : https://bitbucket.org/beatrizmoreira/msc/src/master/fwsollast.rkt Thank you! (--> [(in-hole E (c -> f -> value (n) ((s : (c_0 -> f_0)) ...))) env-ß env-σ ((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 x_01) ... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) (contract C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)] [(in-hole E (return (call env-ß CT c (top-σ env-σ) f n ((s : (c_0 -> f_0)) ...)))) (decl (uptbal (uptbal env-ß (ref env-ß c) n) (top-σ env-σ) ,(- (term 0)(term n))) ((s -> (c_0 -> f_0)) ...)) (call-σ env-σ (ref env-ß c)) ((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 x_01) ... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) (contract C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)] (side-condition) "CALL2") -- 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/6ab63e3a-72f8-4ae9-a43a-64dcb07a9320n%40googlegroups.com.
