search

jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
http://dl.acm.org/citation.cfm?id=3110258
GNU General Public License v3.0
7 stars 0 forks source link

Remove redundant type class MkSyntax #8

Closed jstolarek closed 7 years ago

jstolarek commented 7 years ago

(On branch js-really-separate-asts)

We don't need MkSyntax type class - pattern synonyms do the job. Desugar makes use of functions from that class but this can be easily fixed.