Michael Lill comments

Results 154 comments of


                                            Michael Lill

Add language F#

@Deleplace could please clarify what is meant by "most widely used"? F# is in the TOP100 of Tiobe-Index for example.

use memset_s instead of memset to initialize effects environment

Turns out `memset_s` is poorly supported. Libsodium does it like this: https://github.com/jedisct1/libsodium/blob/be58b2e6664389d9c7993b55291402934b43b3ca/src/libsodium/sodium/utils.c#L78:L101

specifying an abstract/intrinsic/native constructor feature should result in an error

same for?: `is intrinsic` `is intrinsic_constructor` `is abstract` `is native`

C backend: potential overflow in nano_time intrinsic

Code has meanwhile been changed.

ast/Loop: `booleanAsImplicitResult` sometimes adds false even if false is already last expression in block

@maxteufel That would have been good to add in the first place. ;-) Thanks for pointing this out: ``` for i in 1..2 do until i > 3 else false...

recursive value type not allowed when "type casting" ref type

updated example: ``` String.mysubstring(from, to i32) String => ref : String redef utf8 Sequence u8 => [] say ("abCDEf".mysubstring 2 5) ```

signed integer overflow

fixed by #3049

Used abstract feature is not implemented, but I think it is?

update example: ``` ex => str(U type) ref is a U => abstract b(V type, c V) str V => ref : str V redef a V => c say...

type inference num literals

@maxteufel It should work similar as type inference for e.g. `i32(val i32) is` We may have to wrap the numliteral and generate a call to the feature e.g. for `wait...

C compiler warns about uninitialized fzCur

Disabling these warnings seems a bit unsatisfying to me. The question is how to handle it better? What happens when fzC_a is called and `fzCur` is assigned to `->fields`. Is...