CHANGELOG update for simplified reflection
commit01e51f15769049ee1a1bf49a8488aacb1ff91c48
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 7 Oct 2015, 10:59 (11 years ago)
parent539394b
CHANGELOG+2
@@ -32,6 +32,8 @@ Library updates
3232 necessary to import Language.Reflection.Elab.
3333* The `PERF` effect allows for simple performance metrics to be collected
3434 from Effectful programs.
35+* Some constructors that never actually occurred have been removed from
36+ the TT and Raw reflection datatypes in Language.Reflection.
3537
3638Tool updates
3739------------