User-defined types are not BasicTypes - Githubissues

alcides / aeon

Aeon programming language

https://alcides.github.io/aeon/

8 stars 3 forks source link

User-defined types are not BasicTypes #3

Closed alcides closed 1 year ago

alcides commented 1 year ago

This PR adds support for the user to defined uninterpreted functions.

Todo:

[X] All custom types are implemented as BasicType instead of TypeVar
[ ] Make sure all user-defined types are convertible into a Sort
[x] Add the uninterpreted function to the context (maybe as a custom typing context node?)
[x] Make sure the uninterpreted function only has basic types when moving to SMT world.
[x] Build the uninterpreted function in SMT
[ ] Think about measures