nitc :: MType :: is_ok
MErrorType
MErrorType are used in result with conflict or inconsistencies.
See is_legal_in to check conformity with generic bounds.
is_legal_in
# Is the type a `MErrorType` or contains an `MErrorType`? # # `MErrorType` are used in result with conflict or inconsistencies. # # See `is_legal_in` to check conformity with generic bounds. fun is_ok: Bool do return true
redef fun is_ok do return mtype.is_ok
redef fun is_ok do return false
redef fun is_ok do for t in arguments do if not t.is_ok then return false return super end