search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
47 stars 7 forks source link

OpTree DSL must go away from Rules.lhs #33

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Preamble: Tm.lhs represents 800 loc, Rules.lhs represents 917 loc. I'm aware 
that these codes are tighly-coupled but I hope (for our own mental sanity) that 
we could extract a few things from this mess. This request is an example of 
such thing.

The OpTree DSL is currently defined inside Rules.lhs. Hopefully, this can be 
moved somewhere else, inside Evidences.

At the same time, giving more helpful names to the combinators and 
investigating some template haskell for it could lead to more readable code in 
the Features. I was trying to explain the code of a Desc operator to someone 
recently: he quickly begged me to stop the torture.

Original issue reported on code.google.com by pedag...@gmail.com on 11 Aug 2010 at 5:27

GoogleCodeExporter commented 8 years ago

Original comment by pedag...@gmail.com on 11 Aug 2010 at 5:28

GoogleCodeExporter commented 8 years ago

Original comment by pedag...@gmail.com on 11 Aug 2010 at 6:54

GoogleCodeExporter commented 8 years ago

Original comment by pedag...@gmail.com on 26 Aug 2010 at 10:15