(feat) Generic Types

[AlSchlo]

What

Add generic types in the DSL. This continues addressing #81 .

Programs as follows now properly type check.

How

Added unique ids to generic types, and instantiated them to unknown ascending or descending types in solver.rs.

Next steps

Continue addressing #81 , specifically map concatenation, as well as generic bounds (useful for Eqhash in maps).

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 93.65385% with 33 lines in your changes missing coverage. Please review.

Project coverage is 89.1%. Comparing base (c38a7d8) to head (91414db).

Files with missing lines	Patch %	Lines
optd/src/dsl/analyzer/type_checks/solver.rs	92.3%	14 Missing ⚠️
optd/src/dsl/analyzer/into_hir/converter.rs	94.7%	8 Missing ⚠️
optd/src/dsl/analyzer/type_checks/registry.rs	82.9%	8 Missing ⚠️
optd/src/dsl/analyzer/from_ast/converter.rs	95.8%	2 Missing ⚠️
optd/src/dsl/analyzer/type_checks/converter.rs	0.0%	1 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
optd/src/dsl/analyzer/from_ast/expr.rs	94.8% <100.0%> (+<0.1%)	⬆️
optd/src/dsl/analyzer/from_ast/pattern.rs	94.2% <100.0%> (ø)
optd/src/dsl/analyzer/from_ast/types.rs	97.6% <100.0%> (+<0.1%)	⬆️
optd/src/dsl/analyzer/hir/context.rs	89.8% <ø> (ø)
optd/src/dsl/analyzer/hir/map.rs	96.5% <ø> (ø)
optd/src/dsl/analyzer/hir/mod.rs	77.5% <ø> (ø)
optd/src/dsl/analyzer/into_hir/mod.rs	78.2% <ø> (ø)
optd/src/dsl/analyzer/semantic_checks/adt_check.rs	98.1% <100.0%> (+<0.1%)	⬆️
optd/src/dsl/analyzer/type_checks/generate.rs	93.2% <ø> (+2.3%)	⬆️
optd/src/dsl/analyzer/type_checks/glb.rs	95.7% <100.0%> (+<0.1%)	⬆️
... and 13 more

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.