Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-01

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
11:22 xstill mornfall: je funkce, která obsahuje jen unreachable validní?
11:26 mornfall co znamená validní?
11:27 mornfall asi nemá smysl takovou funkci volat třeba
11:28 xstill třeba že se může někde objevit, pokud totiž divine na takovou funkci narazí tak tu unrechable instrukci přejede a pak vyasertí na tom, že je za koncem funkce
11:29 mornfall nojo, to je otázka co s tím; on vygeneruje problem() ale unreachable není return
11:30 xstill problém je, že ten problém neukončí prohledávání (ani s --no-reduce, což je divný)
11:30 mornfall to neukončovalo nikdy
11:30 xstill tak když dělám reachabilitu s -p safety, tak bych očekával, že po narazení na problem to skončí
11:33 mornfall to sice občas pomoct může, ale problém to beztak neřeší
11:33 mornfall když se to stane v atomický sekci tak co?
11:34 mornfall asi by bylo smysluplný zaříznout celej thread v takový situaci
11:34 xstill já neříkám, že to má něco řešit, ale že je divný, že to stejně vyasertí
11:36 mornfall jestli tě zajímá proč přesně, tak by nepochybně dost pomohlo kdybys pastnul co to píše
11:38 xstill můžu ti přesně říct, že to assertí v program.h:195 (ASSERT_LEQ( int( pc.instruction ), int( instructions.size() ) - 1 );)
11:42 mornfall tak se podívej na definici advance()
11:43 mornfall když se zvedne pc, je potřeba zjistit jestli to nepadlo za konec BB
11:43 mornfall (aby se switchlo na další v pořadí)
11:43 mornfall ale když žádnej další není tak to vyassertí
11:43 mornfall je otázka jestli existujou nějaký terminátory který můžou implicitně propadnout
11:45 mornfall zdá se že ne, tohle se asi zachovalo z nějaké historické verze
11:45 xstill aha, například ten unreachable je taky terminator
11:46 mornfall takže se ta kontrola může zrušit a mělo by to přestat assertit (v případě kdy to není v atomický sekci)
11:46 mornfall řekl bych napiš to do tracu, ale trac není :D
11:47 mornfall napíšu si to do komentáře a nějak to vyřešim až to bude trochu víc provozuschopný
11:47 xstill ok
16:44 xstill už toho nixu začínám mít plný zuby, nejen že llvm 3.7 si musím nixem stáhnout u sebe a exportovat na pheme, ale ještě když tam zbuildím divine tak na půlce strojů nejde pustit, protože tam chybí příslušný ld-linux
16:47 xstill aha, ono se to nedokopírovalo na všechny, achjo

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary