List view

Applying Hindley-Milner to unit-checking

MCP0027Unit checkingUnit checking

Status: Open (in progress).

modelica/ModelicaSpecificationnumber 3491

#3491 In modelica/ModelicaSpecification;

· qlambert-pro opened on Mar 19, 2024

Setting states - Mcp/0036

MCPGeneric MCP label (prefer specific MCP label for grouping of issues belonging to the same MCP)Generic MCP label (prefer specific MCP label for grouping of issues belonging to the same MCP)

Status: Open (in progress).

modelica/ModelicaSpecificationnumber 3164

#3164 In modelica/ModelicaSpecification;

· HansOlsson opened on May 3, 2022