search

ohua-lang / condrust

Repository for the Rust SharedMemory integration, codenamed `ConDRust` of the Ohua compiler.
Other
0 stars 0 forks source link

Support Builtin Functions again #2

Open Pagolin opened 6 months ago

Pagolin commented 6 months ago

Our current approach towards typing/type checking basically relies on function signatures for exact types. This means we cannot type binary operations and polymorphic functions with generic arguments.

sertel commented 6 months ago

This is about extending the type system and the integrations accordingly.