forked from metaborg/pie
-
Notifications
You must be signed in to change notification settings - Fork 0
Replace NullType with NullableType(BottomType()) #284
Copy link
Copy link
Open
Labels
Component: DSLSomething that concerns the design of PIE DSLSomething that concerns the design of PIE DSLComponent: code baseThe code quality of the project (does not affect functionality)The code quality of the project (does not affect functionality)Priority: lowStatus: specifiedEnhancement that is ready to implementEnhancement that is ready to implementType: enhancementNew feature or requestNew feature or request
Description
Metadata
Metadata
Assignees
Labels
Component: DSLSomething that concerns the design of PIE DSLSomething that concerns the design of PIE DSLComponent: code baseThe code quality of the project (does not affect functionality)The code quality of the project (does not affect functionality)Priority: lowStatus: specifiedEnhancement that is ready to implementEnhancement that is ready to implementType: enhancementNew feature or requestNew 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