Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-08-30

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

All times shown according to UTC.

Time Nick Message
06:31 xstill co?
06:31 xstill jo a na pheme jsem dostal OOM
08:01 xstill i když jsem si navýšil cgrupu na 8GB
08:06 xstill hm, když já taky builduju debug
11:58 ilbot3 joined #divine
11:58 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:02 mornfall no, řekl bych že s cgroupou to fakt nemůže souviset
13:08 ilbot3 joined #divine
13:08 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:38 xstill no tak release mi teď na pheme prošel jen nefunguje exitcode
13:49 mornfall to s tím exitcode je nějaký hrozně divný
13:49 mornfall vypadá to jako kdyby se mu povedlo smazat celej ten adresář
13:50 mornfall na fedoře to funguje, ubuntu mi píše že ani /tmp/xchg andi /fs/tmp/xchg neexistujou
14:53 xstill_ joined #divine
14:53 zbeasnyy joined #divine
14:53 xstill_ hm, sem tu dvakrát
14:54 xstill_ zase si někdo hraje s ipv6 asi
14:55 xstill a nebo je chyba u freenode
14:55 xstill protože je podezřelé, že bysme měli jinak synchronizované odpojení
15:11 mornfall joined #divine
19:08 mornfall no, už jsem na to přišel
19:08 mornfall spíš se rozpadá freenode :-)
19:22 xstill na cos přišel? Na ty buildy?
19:50 mornfall jo
19:51 mornfall dontUseTmpfs bylo obráceně, a navíc přemountovalo /tmp aj s /tmp/xchg
19:51 mornfall obojí by mělo být opravený
19:51 mornfall (a OOM byl proto že se buildovalo v tmpfs...)
19:51 mornfall teď se snažim opravit brick-query aby to šlo přeložit s g++ 4.7
19:53 xstill hm, to může bolet
20:07 mornfall já nevim jestli existuje důvod aby Query( Range ) mělo přednost před Query( Args&&... )
20:07 mornfall (a otázka je jestli na tom vůbec sejde)
20:08 xstill podívám se tam
20:08 mornfall spíš mi přjde divný že to není ambiguous
20:08 xstill nesejde
20:08 xstill není protože nešablonovaná funkce má vždy přednost pokud je to přesnej match
20:09 xstill kdyby tam byla konverze má zase přednost šablona protože je přesnej match :-P
20:09 xstill mělo by to fungovat i bez toho Range konstruktoru
20:10 xstill asi je jen z historických důvodů
20:10 mornfall jo, funguje
20:10 mornfall ale není to to co 4.7 vadí :)
20:11 xstill nejspíš má problém s lamdbou pokud máš ICE
20:11 mornfall no known conversion for argument 1 from 'brick::query::Query<brick::query::Range<std::_Deque_iterator<int, int&, int*>, false> >' to 'brick::query::Query<brick::query::Range<std::_Deque_iterator<int, int&, int*>, false> >&'
20:11 mornfall je to prostě divný
20:11 mornfall proč chce konvertovat value na referenci?
20:12 xstill a diví se že to nejde
20:12 xstill kde?
20:12 mornfall v konstruktoru Range podle Collection &
20:14 xstill to je divný
20:15 mornfall jako query( Collection & ) mu dává temporary, ale to taky není ten problém
20:18 xstill proč se vůbec volá query na něčem co už je Query?
20:18 mornfall nevolá, on ho vyrábí
20:20 xstill nechápu to
20:20 mornfall v ubuntu1210 je vidět ten error celej
20:23 xstill no to se pokouší volat copy konstruktor kterej tam není
20:23 xstill asi teda
20:24 xstill a padne to do toho variadickýho kterej to nedá protože by musat nacpat query do range
20:24 xstill ale ten copy konstruktor by tam měl být defaultní ne?
20:25 xstill zkus ho explicitně defaultovat
20:29 xstill možná je to move teda
20:30 mornfall nebo oba :-)
20:31 mornfall a ještě pak v Range
20:32 xstill no jo, pokud dáš jeden musíš oba
20:32 xstill jinak bude ten druhej určitě někde chybět
20:33 mornfall jen mi není jasný v čem přesně je bug
20:33 mornfall (už to teda funguje)
20:34 mornfall on asi implicitní default má vyhrát nad forward
20:34 mornfall ale nevyhraje
20:34 xstill no asi omylem nevygenerujou defaultní konstruktory
20:34 xstill což je divné protože ty objekty neobsahujou nic divnýho
20:34 mornfall kdyby se nevygeneroval tak to řekne že je deleted
20:35 xstill tak nevím
20:35 mornfall resp. nevygeneruje se protože se na něj nikdo nezeptá, protože vidí matchující konstruktor pod Args&&...
20:40 mornfall no, pokrok
20:41 mornfall test-bricks se už přeloží, tak uvidíme co zbytek divinu
20:42 xstill no zbytek divine kdysi na 4.7 fungoval…
20:43 mornfall /usr/include/c++/4.7/bits/stl_pair.h:105:31: error: use of deleted function 'std::mutex::mutex(const std::mutex&)'
20:43 mornfall no nevim :-)
20:44 mornfall tohle možná už nepůjde
20:44 xstill hm já vlastně portoval spoustu věcí
20:44 xstill to je nějaký divný
20:44 xstill jak může někde kopírovat mutex
20:46 mornfall no on ho nekopíruje, ale std::pair si asi vynucuje Copyable
20:46 mornfall v tý verzi libstdc++
20:46 mornfall i když je to teda divný
20:47 xstill no divný věci se dějou, obvzlášť v libstdc++
20:48 mornfall no, on totiž nemá rvalue reference konstruktor(y)
20:48 mornfall takže to chce ten mutex kopírovat v konstruktoru pair-u
20:49 xstill fuj
20:49 xstill kde tam máme ten pair? nemůžeš tam dát tuple (pokud teda má rvalue)?
20:50 mornfall v std::map::operator[] :\
20:50 xstill aha :-(
20:50 mornfall ono ho to chce vložit do mapy
20:51 xstill emplace místo insert?
20:51 xstill i když to asi nepomůže
20:51 mornfall no, to je asi jedno protože furt musíš zavolat konstruktor toho pair
20:51 mornfall i když kdoví
20:53 mornfall nevim jestli tam fyzicky ten pair existuje
21:00 mornfall https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44872 :-)
21:11 mornfall no, asi to nemá smysl a ubuntu 1210 je na odpis
21:11 mornfall zjistím co 1304
21:12 mornfall (ono možná by stačilo kdyby to nebylo 1210 z doby release ale aktualizovaný, třeba tam je lepší gcc...)
21:12 xstill no 1210 můžeme klidně odepsat, to je nepodporovaný
21:12 xstill horší je to s tím debianem
21:14 mornfall tak, můžu tam dát shared_ptr
21:14 mornfall bude to trochu pomalejší, ale asi to nepůjde poznat
21:22 mornfall začíná to vypadat nadějně
21:22 mornfall už mám přeložený nějaký instance
21:34 mornfall tak ne no... /var/tmp/divine-3.0.92/divine/algorithm/simulate.h:907:54: internal compiler error: Segmentation fault
21:34 mornfall :-)
21:39 mornfall jako ne že by to nešlo řešit, jen to potrvá půl století než to vždycky dojede k tomu místu :P
22:30 xHire joined #divine

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