search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

`num2` of `simplified-lda.rkt` fails #20

Closed Sumith1896 closed 6 years ago

Sumith1896 commented 7 years ago

This gives some weird exception about vector-ref. May be because of combining SSA grammar with a sketch or some other problem.