Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-04

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

All times shown according to UTC.

Time Nick Message
01:38 spito left #divine
06:17 mornfall :-)
08:14 mornfall (7/37) String: .............C:/WORK/source/wibble/string.test.h: 141: assertion `str::joinpath( "a", "\\b" ) == "a\\b"' failed; got [a/\b] != [a\b] instead
08:14 mornfall :-)
08:15 mornfall horší ale je, že nested-dfs na windows udělalo tohle, ### Expected Property-Holds = 'No' but got 'Yes' instead
08:15 mornfall | Execution-Command: c:\WORK\build\tools\divine.exe verify --nested-dfs --report -w 2 --compression=ntree --property=LTL --no-reduce data/test1-prop.dve
08:16 mornfall xstill: když už máš ten pořádek, můžeš zkusit rozjet lokální windows buildy :)
08:19 xstill no ono by bylo lepší mít win virtuálku aby se dalo buildovat inkrementálně jinak to strašně trvá
08:19 xstill to je divný s tím ndfs
08:19 mornfall je no, hlavně nemam pocit že bych to předtím viděl
08:20 mornfall no, ono tu virtuálku co ti nix vyrobí můžeš nabootovat pak normálně s grafikou :-)
08:21 xstill hm to je dobrá varianta docela
08:24 mornfall možná by nebylo zlý udělat z nix/windows_build.nix multi-output derivaci, kde v tom druhým outputu by byl už nachystanej image, tools.iso a skript kterej to spustí...
08:30 xstill no nevím úpně jak bych to udělal, navíc teda to by ti dalo čistou virtuálku ne? Já bych kdyžtak chtěl i se všema závislostma.
08:30 mornfall no čistou ti to dá teď
08:31 mornfall ten multi-output by ti dal tools.iso kde máš ty závislosti
08:31 xstill hm a buildovat win7 s tvýma nixpkgs mi nejde, cpe mi to tam gcc46
08:31 mornfall to je nějaký divný
08:36 xstill no podle githubu nemáš žádný commit do svých nixpkgs za poslední 3 měsíce, takže to pak dává smysl. Hm, ale hlavně já bych asi měl používat mornfall-updates branch, že?
08:38 xstill ale fuj, pull na to nejde
08:38 mornfall :-)
08:39 mornfall to bys měl no
08:39 xstill zase sis to rozbil, jdu udělat čistej clone
08:52 mornfall xstill: udělal jsem rebase kdybys chtěl úplně aktuální verzi :)
09:01 xstill jo no stihl jsi to znova rozbít od té doby co jsem udělal clone před půl hodinou :-D
09:02 xstill hm, a proč musím buildovat qt :-( není snad někde na antee/arke z toho jak builduje hydra?
09:11 mornfall fetch a rebase
09:11 mornfall to fakt funguje ;)
09:11 mornfall mělo by tam být... máš anteu v binary-caches?
09:14 mornfall nebo který qt?
09:14 mornfall jestli na windows, tak pusť win_small, tam myslim není
09:15 xstill jo winqt, anteu mám
09:27 xstill hm, dneska prej vyšlo slunce v Trondheimu ve stejnou minutu jako doma, takže od teď je tu den delší na obě strany :-)
09:29 xstill ještě kdybych nemusal do školy
09:30 mornfall :-)
09:31 spito joined #divine
09:34 xstill no ale už mám jen 4 hodiny školy v tomhle semestru :-D
10:12 xstill hm, ale windows umí separovat adresáře i normálním lomítkem, ne?
10:12 mornfall umí
10:13 mornfall občas :)
10:13 mornfall nevim jak přesně to funguje
10:15 xstill asi to aproximujeme tak že to umí
10:15 spito všude, kde se to umí, to interně nahrazuje \
10:16 xstill spito: jen interně nebo to zkonvertuje?
10:16 spito jádro systému neumí pracovat s normálníma lomítkama
10:17 spito ale ty funkce okolo umí někdy zaměnit lomítka
10:17 spito třeba tady http://msdn.microsoft.com/en-us/library/windows/desktop/aa363858(v=vs.85).aspx píšou, že tahle funkce to umí
10:18 xstill hm, když se koukám na některý části wibble tam bych to nejraději překopal
10:27 mornfall spito: roztomilý ne? :)
10:27 spito a tady http://msdn.microsoft.com/en-us/library/aa365247(VS.85).aspx zase píšou, že vlastně celý funguje, jenom nesmíš cestu začít "\\?\", to naopak dopředný lomítko fungovat nebude
10:29 spito ale začíná se to hezky zelenat
10:29 mornfall no, tady se zatáhlo pro změnu
10:34 spito :D myslím http://divine.fi.muni.cz/status.html
10:34 mornfall :D
10:35 xstill :-D
10:39 mornfall kruci zacyklil se mi emacs...
10:51 xstill mornfall: máš tam patch na ten joinpath
11:01 mornfall fajn :)
11:02 xstill třeba to už bude fungovat
11:02 xstill hm, jen teda doufám, že ten sizeof tam dělá to co chci
11:04 mornfall no, jestli chceš aby \0 byl path separator tak jo :)
11:04 xstill hm, takže nedělá
11:04 mornfall měl by vrátit 3
11:04 mornfall ve WIN
11:04 mornfall (to je velikost toho pole)
11:05 xstill jo no to mě nedošlo
11:05 mornfall strlen asi chceš
11:05 xstill asi jo
11:07 xstill alternativně bych to mohl napsat jako pathSeparators[] = { '/', '\\' } ale pak se to nebude chovat jako string
11:07 xstill otázka je jestli to vadí
11:07 mornfall to by vadit nemuselo
11:12 xstill opravil jsem to
17:04 spito left #divine
19:11 xstill hm čas naprogramovat něco v Haskellu :-)
19:13 mornfall failujou nám nějaký evaly...
19:13 mornfall dost podivně navíc
19:14 xstill evaly čeho?
19:14 mornfall clang_medium, gcc_full a gcc_llvm
19:14 mornfall (všechno co hrabe na pkgs.llvm zdá se)
19:14 xstill aha vidím
19:16 xstill no http://divine.fi.muni.cz/hydra/build/5189315/nixlog/1/raw říká že nezní <divine.h>
19:16 mornfall no to jo
19:16 mornfall to jsem nezarecordoval změnu v cmakelists
19:16 xstill no protože usr-entry se nemá buildovat
19:16 mornfall ale díky tomu jsem si všim těch evalů :)
19:19 mornfall to je fakt nějakej kvalitní úlet
19:19 mornfall i když mám clang_minium a clang_medium úplně stejný, tak jeden projde a druhej ne
19:19 mornfall aha jo
19:20 mornfall (if lib.eqStrings (builtins.substring 0 4 name) "llvm" ||
19:20 mornfall lib.eqStrings name "full" ||
19:20 mornfall lib.eqStrings name "medium"
19:20 mornfall :-)
19:20 mornfall za to si asi můžu sám :D

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