Replace NullType with NullableType(BottomType()) #284
Labels
Component: code base
The code quality of the project (does not affect functionality)
Component: DSL
Something that concerns the design of PIE DSL
Priority: low
Status: specified
Enhancement that is ready to implement
Type: enhancement
New feature or request
Summary
Replace the type
NullType()
withNullableType(BottomType())
Todo
Reason
It is inelegant that a type can be nullable without being
NullableType(_)
. This also makes it explicitly clear how the type hierarchy works.Implementation
NullType()
withNullableType(BottomType())
should just work.Related issues
Background information
This is also how it is done in Kotlin, as is described in this blog post
The text was updated successfully, but these errors were encountered: