on master help sign in
CHANGELOG update for simplified reflection
commit4b06aa4c6c4bc4f576d84c5d0630721d5b8d1082 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateWed 7 Oct 2015, 10:59 (11 years ago) parent105c230
1 file changed+2
CHANGELOG+2
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------------