Jakob Schneider
Jakob Schneider
What's the overall idea?
Alright, roger that.
What about literals and default expressions? I.e. ```scala Unit Null True False Char Float32 Float64 Int8 Int16 Int32 Int64 BigInt Str Default ```
Oh I didn't read the ticket properly, sorry. I just now saw that you already explicitly mentioned literals.
I don't think anything is blocked here. Just refining the implementation. Should be done soon :)
I do have one question, though: If we don' parallelize variables, should also apply that rule to Defs?
@mlutze I've tried splitting the subtype check into several functions so it supports any type (not just arrow types). Do you have any immediate thoughts on this? Am I doing...
Also, still doesn't fix the issues with the std lib. Still getting an error: ``` -- Safety Error -------------------------------------------------- Result.flix >> The following upcast is unsafe and not allowed. 285...
Commit f4413b4 solves the error in `Result.flix` but I'm not sure it's correct.
@mlutze I removed the base type comparison in `isStarSubtype` in the default case. Do you reckon this version i safe? I.e. are these expressions alright (lines 986-1004 in Type.scala)? ```scala...