Not all concepts with types implement IOptionallyTyped or ITyped

Open alexanderpann opened this issue 1 year ago • 1 comments

Some examples: components.Parameter, components.Variable, adt.AlgebraicConstructorArg, adt.Ancestor, adt.QuotedTermType, EmptyValue...

I encountered the issue, for example, with the concept EnumDeclaration. We should also check if IOptionallyTyped could extend ITyped.

May 03 '24 08:05 alexanderpann

ITyped is now implemented by more concepts through https://github.com/IETS3/iets3.opensource/pull/1077

Nov 25 '24 18:11 alexanderpann