search

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.
MIT License
1 stars 0 forks source link

contract breach #58

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

gen-node-range: contract violation expected: gen-node? given: multi(filter(g{1,i,25},a{1,i,31},a{1,i,35}),#t,{a{1,1,31}/a122},{a{1,i+1,31}/a{1,i,35}},{a_{1,L,35}/a38}) in: the 1st argument of (-> gen-node? (or/c #f gen? gen-range?)) contract from:

/cclp/gen-graph-structs.rkt blaming: /cclp/generalize.rkt (assuming the contract is correct) at: /cclp/gen-graph-structs.rkt:110.8