@@ -32,6 +32,8 @@ Library updates
32 necessary to import Language.Reflection.Elab.
32 necessary to import Language.Reflection.Elab.
33* The `PERF` effect allows for simple performance metrics to be collected
33* The `PERF` effect allows for simple performance metrics to be collected
34 from Effectful programs.
34 from Effectful programs.
35+* Some constructors that never actually occurred have been removed from
36+ the TT and Raw reflection datatypes in Language.Reflection.
36Tool updates
38Tool updates
37------------
39------------