edwardpeters

Generated scala code may improperly group list patterns

1

**Describe the bug** If an elm pattern match statement has nested list expressions, the generated scala code may improperly group them. **To Reproduce** Start with the following elm source code:...

**Describe the bug** The morphir SDK for Char includes a pair of functions `toLocaleUpper` and `toLocalLower`. These appear to rely on system-dependent settings, and are not appropriate for the pure...

**Describe the bug** In Elm, if you have a type definition - alias or otherwise - any type parameters that appear on the RHS must appear on the LHS. This...

**Describe the bug** Morphir elm will compile code with incomplete pattern matching. This can result in runtime errors. **To Reproduce** The following code compiles: ``` type MyUnion = A |...

Morphir-elm compiler allows runtime polymorphism and type errors

1

**Describe the bug** The type inferencing algorithm used by `morphir-elm make` handles type variables in a way which allows users to compile polymorphic code. **To Reproduce** The following code compiles...

**Describe the bug** Some recursive functions cause the compiler to fail to type check. **To Reproduce** The following code compiles in native elm: ``` count : Int -> Int count...

**Describe the bug** `morphir-elm make` will report value cycles when none exist. **To Reproduce** The following code compiles in native elm but not in morphir-elm: ``` countA : Int ->...

**Describe the bug** The morphir-elm based interpreter frequently fails to work with first class or higher order functions; in particular, it reliably fails whenever a first class function relies on...

Compiler causes name collisions that do not exist within native elm, and does not catch them as errors

2

**Describe the bug** This relates to https://github.com/finos/morphir-elm/issues/1101 To recap that error, the morphir-elm compiler does not notice or complain if a multiple values or fields have the same name. This...

**Describe the bug** If you declare a function as generic, but implement it in a way that only works for a single type, no error is given **To Reproduce** Compile...