Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-02

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

All times shown according to UTC.

Time Nick Message
09:33 xstill sakra jak je možný, že pro C model dostanu "Unresolved symbol (global variable): _ZTVN10__cxxabiv117__class_type_infoE"
09:33 xstill jinak je to vtable for __cxxabiv1::__class_type_info
09:34 xstill možná bysme neměli linkovat c++ k c modelům
09:37 xstill ale my vlastně asi máme implementaci v C++
09:44 mornfall máme, a časem to asi bude potřebovat aj C++ runtime
09:44 mornfall teď by to mohlo fungovat aj bez něj
09:44 mornfall otázka je proč zrovna tenhle symbol chybí a proč jen někdy
09:45 xstill no nevím, našel jsem v libstdc++ dokonce i definici destruktoru té třídy
09:46 xstill hlavně je divný, že to chybý při kompilaci kódu který je čistě C
09:54 xstill hm, asi za to může něco ve stdio
10:13 mornfall // Watch for luser rethrowing with no active exception.
12:38 xstill je někde popsaná LTL verifikace pro LLVM?
12:41 mornfall nezdá se, krom examples/llvm
12:41 mornfall (třeba peterson.c má dvě formule)
12:42 xstill jo, to mi asi bude stačit
14:47 xstill hm, dostal jsem SEGV při generování protipříkladu, uvnitř ::llvm::Value::getName()
14:48 xstill aha, on ten enum AP je povinný asi, co? :-D
14:48 mornfall no, nemusí se jmenovat AP
14:49 mornfall v zásadě tam jde udělat klička, že když to žádnej enum nenajde tak to bude v protipříkladu psát jen čísla
14:49 xstill no, hledá se enum AP (v describe)
14:50 xstill no ono je spíš blbý že to segví
14:52 xstill ale asi by bylo fain kdyby tam byl fallback na čísla
14:57 xstill jak to je mezi dvěma voláníma ap( ... )? To neplatí nic, nebo platí to co naposledy?
15:01 xstill mornfall: hm, dostal jsem ve skutečnosti LLVM assert na interpreter.h:130, že ten cast je z nekompatibilního typu
15:07 mornfall neplatí nic (mezi)
16:02 xstill hm, "unexpected non-zero constant pointer" proč to nejde? Nemůžeš mít globální pole?
16:03 xstill (@a9875 = internal global [6 x i32] [i32 61, i32 62, i32 63, i32 64, i32 65, i32 66], align 16)
16:04 mornfall hm
16:05 mornfall co je to za globální pole?
16:06 mornfall ConstantArray by nemělo mít pointer typ
16:06 xstill mrknu
16:06 mornfall globální pole se testuje v llvm/globals.sh
16:06 xstill int a135[] = {105,106,107,108,109,110};
16:06 xstill nejspíš
16:07 mornfall no, asi ne tohle ale něco podobnýho :-)
16:07 xstill pod tím se ten pointer používá int (*a123)[6] = &a135;
16:07 mornfall co to máš za prasárnu? :D
16:07 xstill http://rers-challenge.org/index.php?page=home
16:08 xstill něco z toho
16:08 mornfall ajo
16:09 mornfall ale to musí být ještě něco jinýho
16:09 mornfall llvm_verify valid <<EOF
16:09 mornfall #include <assert.h>
16:09 mornfall int array[2] = { 3, 5 };
16:09 mornfall void main() { assert( array[0] == 3 ); array[0] = 2; assert( array[1] == 5 ); assert( array[0] == 2 );
16:09 mornfall }
16:09 mornfall EOFtohle normálně projde
16:10 mornfall @array = internal global [2 x i32] [i32 3, i32 5], align 4
16:10 mornfall aha
16:10 mornfall on to totiž není constantarray
16:11 mornfall nebo jo? zkusím s lokální
16:13 mornfall nevim, nějak to nedokážu reprodukovat
16:14 xstill je to normálně globální proměnná
16:14 xstill nevidím žádnej rozdíl od toho co máš v tom testu teda...
16:14 xstill zkusím extrahovat malej příklad
16:15 mornfall já musim ještě zjistit jak se landingpad vydestiluje na něco co vytáhne z %eax a %edx pointr a číslo :-)
16:15 mornfall a pak bych pomalu mohl začít implementovat
16:17 xstill malý failující příklad:
16:17 xstill int a135[] = {105,106,107,108,109,110};
16:17 xstill int (*a123)[6] = &a135;
16:17 xstill int main() { return 0;
16:17 xstill }
16:17 xstill bez toho 2. řádku to funguje
16:17 mornfall jasně no
16:18 mornfall a ten druhej řádek znamená co vůbec? :D
16:18 mornfall není to type error?
16:19 xstill clang si nestěžuje, ani warning
16:19 xstill typuju pointr na pole délky 6
16:19 mornfall http://stackoverflow.com/questions/859634/c-pointer-to-array-array-of-pointers-disambiguation
16:20 mornfall zrovna tohle je fakt dementní :-)
16:20 mornfall jdu to zkusit
16:29 mornfall když tam mezitím je bitcast tak to funguje... to je divný
16:35 mornfall hm, už su tak zblbnutej že píšu volání bez závorek
20:41 mornfall hm
20:53 mornfall hmm
20:54 mornfall začínám tomu unwinderu trochu rozumět

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