2015-02-16T22:28:53Z ccl-logbot joined #sbcl
2015-02-16T22:28:53Z 
2015-02-16T22:28:53Z names: ccl-logbot Adlai scymtym_ Bicyclidine psy__ psy_ irsol antoszka ivan4th luis milosn Quadrescence joshe LiamH |3b|` nyef Shinmera oleo mega1 stassats` Posterdati stassats edgar-rft fridim_ christoph_debian akkad foom PuercoPop yauz_2 nicdev nightshade427 ASau drmeister @Xof soggybread fe[nl]ix Blkt ferada les redline6561 flip214 snafuchs kanru reb` mood loke brucem carvite scymtym pchrist p_l Intensity alchemis7 White_Flame psilord1 jdz jrm Bike ams
2015-02-16T22:28:53Z names: salv0 weissschloss jsnell fikusz dustinm` pkhuong cojy_ karswell` DeadTrickster specbot minion
2015-02-16T22:34:28Z stassats: ok, i'll just fix that one cause and will wait for any new ones
2015-02-16T22:34:51Z stassats: since it seems legal to have casts in uses
2015-02-16T22:45:40Z stassats: pkhuong's solution seems satisfactory to me
2015-02-16T22:51:43Z karswell` is now known as karswell
2015-02-16T22:53:13Z fridim_ quit (Ping timeout: 264 seconds)
2015-02-16T22:58:44Z edgar-rft quit (Quit: computation abandoned into eternal confusion)
2015-02-16T23:06:17Z stassats: so, that makes two compilers bugs left
2015-02-16T23:24:46Z nyef: Okay, I'm awake again.
2015-02-16T23:26:21Z Shinmera quit (Quit: しつれいしなければならないんです。)
2015-02-16T23:28:31Z stassats: sbcl-32 now builds sbcl-64
2015-02-16T23:30:28Z nyef: So, it's processing cold-toplevels, proclaims ftype for MAKE-NULL-LEXENV and INTERNAL-MAKE-LEXENV, does a %TARGET-DEFSTRUCT... And blows the stack.
2015-02-16T23:39:28Z nyef: Oh, it's going to be something desperately stupid like word-wide logcount being compiled as bignum-logcount requiring word-wide logcount, isn't it? And thus the type-deriver neatly hushes it up. /-:
2015-02-16T23:55:49Z nyef: Hey, weren't you trying to do something involving more precise bounds for the type derivation at one point?