sdthompson1 / babylon

An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
1 stars 0 forks source link

Core Library #12

Open sdthompson1 opened 4 months ago

sdthompson1 commented 4 months ago

Add a standard or Core library.

(This is a placeholder - we will split it up into smaller tasks when the time comes to work on it!)

The Core library will probably ship with the compiler and will be the equivalent of a "standard library" for the Babylon language. (However, it will be implemented as normal Babylon and C code, i.e. there will not be anything "magic" about it -- the user could theoretically replace Core with their own implementation, if they wish.)

Update all examples and demos to use Core instead of the "ExampleLib" or whatever it was called. (The chess demo will still have its own special library for SDL integration, of course, but it might still use some stuff from Core as well.)

Update test cases to use Core as well (probably).