Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-13

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:03 mornfall no ono to je s tím obj ještě mnohem horší
08:03 mornfall ale možná jsem něco vymyslel
19:58 xstill mornfall: teda najít kde jste to vlastně publikovali ten článek na výjimky není vůbec lehký
20:58 xstill achjo, s std::set namísto unordered_set to funguje a nestěžuje si to vůbec na nic
20:58 xstill to je dobrej bordel
21:02 mornfall nojo, a DVE parser v tom divine co martin vyrobil na auře moc nefunguje
21:02 mornfall trochu podezřívám libunwind
21:03 xstill proč ho podezříváš?
21:03 spito tak když vyhazuješ výjimky jak divej....
21:05 mornfall fungovat by to nicméně mohlo
21:11 mornfall a výjimek by to vyhazovalo výrazně méně kdyby se trochu upravila ta gramatika
21:12 mornfall hází je to jen když ten parser backtrackuje, což by se nemělo dít víceméně nikdy
21:18 mornfall asi jsem to měl radši dodělat sám
21:19 mornfall až bude někdo psát dve->llvm tak se to třeba opraví (je to relativně triviální transformace)

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