Metarpheus fails when an unexpected scala type is found

[calippo]

retro/metarpheus/core/src/main/scala/io.buildo.metarpheus/core/extractors/package.scala

Line 42 in c9d36dd

private[extractors] def tpeToIntermediate(tpe: Type): intermediate.Type = tpe match {

The referenced match is not exhaustive. I'm sure it breaks up on Type.Repeated (MyType*), but it looks pretty fragile.

[calippo]

I see two options:

1. we add a case for Type.Repeated. I don't really think we need it, and there might be other situations where the match fails.
2. we modify metarpheus so that types that are not explicitly handled are just skipped (maybe logging a warning message)

@gabro what you think?

[calippo]

@tpetrucciani what you think about this?

[tpetrucciani]

That match is definitely fragile, but that's because we only support a few forms of types. However, ignoring unsupported types instead of failing sounds slightly risky: we will get arguably invalid models (albeit with a warning).

What's the scenario in which the current behaviour is problematic?

I suppose one problem is that, currently, I think we are converting types via tpeToIntermediate before we discard unused models via stripUnusedModels. So we might fail because of an unsupported type even though it wouldn't appear in the final model anyway. If that's the case, we could try to invert these two steps.