Some changes to extensible records that are included with the higher-order effects changes. The only noteworthy changes are:
Field type has been removed entirely since the only purpose it served was in making record construction slightly more readable at the cost of making Rec cumbersome. Specifying initial states for a specification will likely be done by reusing existing syntax in the future anyway.
Type inference of projections is now uniquely determined by the field selector, this means that users no longer have to ascribe the type on variable usage and nor do effect handlers.
Rec relocated from the Language.Spectacle module group to Data.Type, which I think is more appropriate.
Some changes to extensible records that are included with the higher-order effects changes. The only noteworthy changes are:
Fieldtype has been removed entirely since the only purpose it served was in making record construction slightly more readable at the cost of makingReccumbersome. Specifying initial states for a specification will likely be done by reusing existing syntax in the future anyway.Recrelocated from theLanguage.Spectaclemodule group toData.Type, which I think is more appropriate.