Search
Friday, 7th of August 2020, 22:10:12 UTC
22:30:41
karlosz
OK, i figured out and fixed the type inference non deterministic bug. i'm no longer able to get drmeister's original test case with the dead code to trip up anymore
22:31:11
karlosz
i tried to be too clever with an optimization by using remhash when i shouldve just made an explicit entry
22:31:18
karlosz
that was causing ordering problems
22:34:12
karlosz
okay sent pr to sicl. any testing appreciated - hopefully the original startup bug kpoeck ran into no longer manifests. i was never able to reproduce that
22:38:11
Bike
there are some suboptimal numeric algorithms i'm trying to clean up as we go
22:38:18
Bike
don't know how much they matter in applications, tho
22:38:38
Bike
e.g. comparing an integer to a ratio is done by consing up bignums to multiply
22:39:35
Bike
also some other cleanup. floor and ceiling are done in separate huge code paths instead of through truncate
22:41:47
karlosz
i guess it would be a good idea to also add the offending test case to the regression suite
22:42:08
drmeister
karlosz: Yes - is there a way to do that?
22:45:34
karlosz
drmeister: yes. test cases can be added to src/regression-tests
22:45:47
karlosz
which are run via ./waf tests
22:46:15
karlosz
there are a few new unexpected failures related to finalizers it seems
22:46:40
karlosz
and an unexpected success with test-issues-950 from running it just now
22:47:00
karlosz
i'm guessing that has to do with the recent hash table changes
0:09:01
drmeister
::notify karlosz I mean - can you write a regression test that would test the type inference? I don't see how at first glance.
0:09:01
Colleen
drmeister: Got it. I'll let karlosz know as soon as possible.
0:22:40
Bike
run your reduced example a few times, see if it signals an error?
0:22:46
Bike
probabilistic, of course
3:45:54
beach
Good morning everyone!
Saturday, 8th of August 2020, 10:10:12 UTC