Replace todo! under /synthesis for fixes or unimplemented error (for #152)
Under option (true by default): if for (let i = 0; ...) or similar where the initialiser is number like. Assume i has constraint of number (assigning to any other type is not an advisable pattern). Assuming this constraint would skip work that will be done when #35 is added!
Added TSC intrinsic string types
Added TSC NoInfer
Added some WIP Ezno intrinsic number types
Added new slice subtyping mechanism
Have got the mapped property key of mapped types partially working.
A few things broken
Unfortunately none shown in the tests
Printing is not great
Think I have my head around as (although not working atm)
Not sure about the readonly stuff + removing the conditionality?
Have got delete checking in
No test for doing inside of function
Breaks the pop synthesis, so removing for now
As effect broken :(
in is handled a bit better across functions
Getting pinned down to decidable is quite difficult
Understanding break works
Turns out that was being run unknown as was trying to run 460 events on top level (default limit is 300)
Got it down to 360 by not queueing some SetVariables where it is in the scope up during application
And further down by changing the values in the test
However now the break isn't being fired. Might be to do with the carry, might not be ?
Delete as effect
Note object things don't work because they have been temporarily disabled in simple.d.ts (so count should be ~249)
WIP
Change so that index signatures are now always conditionally defined (aka :?)
This might break things
Without narrowing (#122) lots of things broken including .map
Fixes to
Get the collection tests working
Get array slicing working
Finish of the .d.ts emit added to synthesis/mod.rs
Finish call exports with open types to simulate library use. Otherwise dead code checking thinks things are uncalled
TODO
Array map is currently broken because indexing on array can now return undefined
248 passing 🎉
todo!under /synthesis for fixes or unimplemented error (for #152)trueby default): iffor (let i = 0; ...)or similar where the initialiser is number like. Assumeihas constraint of number (assigning to any other type is not an advisable pattern). Assuming this constraint would skip work that will be done when #35 is added!NoInferas(although not working atm)readonlystuff + removing the conditionality?deletechecking inpopsynthesis, so removing for nowinis handled a bit better across functionsSetVariableswhere it is in the scope up during applicationWIP
.map.d.tsemit added tosynthesis/mod.rsTODO
.pushandassigning_to_types_as_keyscalling_orandsetter_or