Search
Wednesday, 29th of July 2020, 12:03:58 UTC
14:41:01
Bike
okay, if i move those definitions up in the file, the literal-dnode-datum disassembly doesn't call cc_enclose any more
14:43:14
Bike
implementing m-v-setq in bclaps looks more involved than i thought, since there aren't any existing bclasp operators that get non primary values from a tmv, and multiple-to-fixed actually gets kind of complicated with the nils
17:58:28
drmeister
Bike: Has the new type inference that karlosz profiled recently been incorporated yet?
18:01:06
Bike
beach said karlosz said it wasn't ready yet
18:04:16
karlosz
yeah. it compiles ironclad on bigmac now
18:04:44
Bike
i'll merge it into sicl then
18:05:51
karlosz
drmeister wants to merge the type-inference branch in clasp into master as well i believe
18:06:20
drmeister
If all that stuff is ready.
18:06:21
Bike
so the crash problems have been resolved?
18:06:35
Bike
and in the branch we're just using inference all the time?
18:06:44
Bike
wasn't it not compiling ironclad or whaever
18:06:46
karlosz
it compiles ironclad now
18:07:05
karlosz
it was just a memory usage problem. i made it use less memory and it compiles if you give it 80gb
18:07:26
Bike
alright well that's still a helluva lot but probably not out of the norm for clasp, sadly
18:07:38
karlosz
yeah. cando doesn't use ironclad and it works there as well
18:08:21
Bike
we should configure it to use inference all the time and then yeah merging seems fine
18:08:57
karlosz
right. let me send a quick patch to do that
18:12:56
karlosz
Bike: ok sent PR to turn it on by default
18:13:08
karlosz
then rewinding to the new SICL head with the merged improvements should be enough
18:13:19
karlosz
and then i guess merge to clasp master
18:44:50
kpoeck
once mergin is done, i could starting testing, so please advise
19:00:32
Bike
had to step out for a bit, i'll get to it now
20:11:38
Bike
these fixpoint iterations warnings are kind of annoying, should probably conditionalize that or whatnot
20:11:55
Bike
or i guess we could throw a muffler on it in clasp. that might be good
20:14:33
Bike
alright, type inference in master now. i already ran the basic tests, kpoeck, but not the ansi ones
21:12:23
karlosz
once it's tested reliable i might just remove the threshold entirely and see if anything gets bogged down
Thursday, 30th of July 2020, 0:03:58 UTC