shiika

shiika copied to clipboard

This should print `Void` (because `f` is declared as `Fn0`) but prints `123` instead. ``` class A def self.foo(f: Fn0) p f() end end A.foo{ 123 } ```

yhara

## Motivation - To encourage using immutable data structures - Immutable `Array` may be more convenient in some cases; For example ```sk class Shape; ...; end class Circle : Shape;...

yhara

so that we can print where the method is defined on such errors. ``` Error: Error: missing argument `c' of method `DefaultArgTest#foo(a: Int, b: Int, c: Int) -> Void' ╭─[./a.sk:14:16]...

yhara

## Given ```sk class A def self.initialize A.foo end def self.foo ... end end ``` This is safe if `foo` does not access an class instance variable of A. ##...

yhara

At first I was planning to implement `Range` class as built-in but I found it less useful in Shiika because its type system does not support method overloading. That is,...

yhara

Since #433, [lib/skc_codegen/src/lambda.rs](https://github.com/shiika-lang/shiika/pull/433/files#diff-0753518b7a67d54f3fff8a92a1978389da6420acc7f0affcd08046f71e0ad7f2) traverses the HIR twice (once by `gen_lambda_funcs` and once by `gen_lambda_capture_structs`). This could be refactored by collecting lambda information in advance of codegen (i.e. lib/skc_mir).

yhara

[Experiment](https://github.com/yhara/milika) is done. Now let's merge it back. (Not an easy process, though) - [x] Copy the code from the milika repo (#544) - [x] Remove dependency to MLIR (#544)...

yhara