Simon Wegendt

The following is legal Mita: ```typescript package bar; import platforms.xdk110; every 100 milliseconds { var x = "asdf"; if(x == "asdf") { /*...*/ } } ``` The produced code doesn't...

If the array generator can't infer the size of the slice bounds, it doesn't always generate a buffer of the correct length (or at all): ``` fn foo(x: uint32, y:...

Initializing with literals generates buggy code, initializing with vars doesn't copy the array.

Mita: ``` fn foo(): int32? { return some(1); } fn bar() { let x1 = foo(); } ``` C: ```c Retcode_T foo(optional_int32_t* _result) { Retcode_T exception = NO_EXCEPTION; optional_int32_t result1155795087...

``` every 10 minutes { true; } ``` Should be validated "The left-hand side of an assignment must be a variable"

RFC: Multiple Returns

3

# Introduction Functions typically return a single value. However multiple return values from a single Function can help structure code and avoid repetition. Further, in recent years multiple return has...

RFC: Functions as first-class types

2

# Introduction In many languages, functions can be passed to functions. In some, this is even easy. Eclipse Mita should be one of those :) # Current Situation No support...

# Current Situation Generated types support type parameters, no support for built-in types. # Proposal Allow type parameters for structs and sum types. A separate proposal should be made for...

Using `// XPECT noCompileErrors` on an overloaded function (see below) yields an exception/error, subsequently failing the test. ## Example ``` fn overloadingTest(x : int8) : int16 { return x as...