Clarify that a null pointer is an error.

modelica / ModelicaSpecification

Specification of the Modelica Language

https://specification.modelica.org

Other

95 stars 41 forks source link

Open HansOlsson opened 1 month ago

HansOlsson commented 1 month ago

Closes #3500

HansOlsson commented 2 weeks ago

Language group: Poll:

Same as failed assert: Hans, Dag, Stephan, Elena
Illegal to receive null: Henrik, Quentin
Legal to return null: Markus
Abstain: (Same for returning String.) Alternative (better) formulation: If constructor returns null pointer:
treat as failed assert
treat as unrecoverable error
no guarding, just pass along