search

ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Constraint IR Pretty Printer #145

Closed jar2333 closed 1 year ago

jar2333 commented 1 year ago

Draft PR

jar2333 commented 1 year ago

tests are failing right now because the constraint AST is being dumped always, will make it depend on option flag when it's all done

jar2333 commented 1 year ago

have most of the skeleton needed for pretty printing the IR, I just have to look into the prettyprinter package now

leoqiao18 commented 1 year ago

@jar2333 Could you update the Typechecking.hs module to generate the pretty-print Doc only when the flag is provided?

j-hui commented 1 year ago

@jar2333 I updated the failing test error message. Feel free to squashé & mergé whenever!