Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-19

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:32 spito joined #divine
10:26 xstill mornfall: pouštěl jsi deploy?
10:27 xstill (zase se rozbil dsched)
10:29 xstill hm ten krám je tak zabugovanej
10:35 spito joined #divine
10:37 spito_ joined #divine
14:38 xstill mornfall: dává __divine_malloc() zarovnané pointry
14:38 xstill ?
17:41 spito joined #divine
18:30 mornfall xstill: dává
18:30 mornfall xstill: deploy jsem nepouštěl
18:30 mornfall xstill: mohl bys vyamendovat to Inplement? závisí na tom jen jeden warning fix
18:33 spito joined #divine
18:45 xstill mornfall: jaký implement?
18:45 xstill aha překlep myslíš
18:46 mornfall jj
18:47 xstill nojo, jenže já si pullnul potom ty spitovy patche, takže to je někde hluboko
18:48 xstill dejme tomu tenhle patch asi můžu hodit i nakonec
18:49 mornfall no, unrec -p '^llvm: Fix a warn' a pak amend -p Inplement
18:49 mornfall + --edit
18:50 mornfall on to darcs vynese na konec sám
18:50 xstill tak spíš mi šlo o  to moc nezrušit návaznosti
18:50 xstill poslat jen toto?
18:50 mornfall asi jo... zbytek už mám ve stromu
18:50 mornfall ono to díky tomu stateFlags v Base jde přeložit aj bez toho, ale logicky LLVM pak moc nefunguje :-)
18:51 xstill máš to tam (ten fix warning jsem nechal zmizet)
18:51 mornfall vidíš, to jsem chtěl -- prázdný enumerateFlags v generátorech je asi trochu redundantní s tím v Base?
18:51 mornfall jedno z toho bych možná zrušil
18:52 mornfall jdu ještě cvičit ve středu mám zkoušky, pak to celý pushnu
18:53 xstill tak já jsem to bral trochu jako dokumentaci, ale asi máš pravdu, že je to zbytečný
18:58 xstill otázka je teda co s tím. V base to dává smysl aby bylo někde definované jak vypadá rozhraní (by to teda sneslo komentář, na který jsem pak zapomně)
19:45 mornfall já bych to asi nechal v base
21:31 xstill a mám to vyamendovat pryč?
21:31 xstill (z generátorů)
21:36 spito mornfall: a že jsi minule nepushnul 4 poslední patche? :-o
21:48 mornfall xstill: ne, přidej novej patch
21:48 mornfall spito: no, ten _exit tam fakt nepatří
21:48 mornfall a ty ostatní jsem ještě neviděl
21:49 mornfall dej mi 15 minut
21:59 mornfall spito: můžeš ten _exit přesunout na nějaký smysluplný místo (klidně v extra patchi)?
22:01 mornfall a z toho fs-utils.h mám docela dojem že bych tam radši přecijen dal include na příslušný brick-y
22:15 spito no, to nepůjde
22:16 spito protože potřebuju věci z brick-fs a ten zase includuje systémové věci
22:16 spito a začali by se mi mlátit definice struktur
22:17 spito a kam patří ten _exit?
22:17 spito co jsem vyčetl, tak je součástí unist.h
22:23 xstill mornfall: hm, když jsme u toho, ten unwind v _Exit, to volá destrukory?
22:24 xstill spito: tipnul bych si, že ne do fs.cpp, do unistd asi jo
22:28 spito tak ono v tom fs.h jsou špatně všechny položky, žejo
22:43 spito ono to pak budu muset rozházet do samostatných souborů

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