search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.55k stars 141 forks source link

Update basic function names for Kindex update #572

Closed developedby closed 1 year ago

developedby commented 1 year ago

Recent Kindex reorganization changed the name of many basic datatypes that the compiler expects to exist, either for checking/eval or for desugaring.

Things like List, String, U60, etc, were moved to a Data folder (Data.List, Data.String, etc) and the compiler needs to be updated to reflect that.

This is the main commit that changed it https://github.com/HigherOrderCO/Kindex/commit/64a84a17204de33c4fa0d803a3b4eab029684905

developedby commented 1 year ago

These changes require an update to HVM as well, done here https://github.com/HigherOrderCO/HVM/pull/249