search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

`define-record` not found #8

Closed Sumith1896 closed 7 years ago

Sumith1896 commented 7 years ago

Fix (the currently commented out) example/test/record.rkt. We might have moved away from the define-record construct.

rohinmshah commented 7 years ago

Oh good, I've been expecting that to break and been confused when it didn't. Probably Racket was using an old compilation on my machine. I'll take care of this one.