[nem-pl] Re: cos o rozszerzeniach (us-ascii i takie tam)

[Lukasz Kaiser]

Hej.
 
> Oj, w ncc.html s± opisane fazy kompilacji. 1, 2 oraz 3 nie maj± z
> wyra¿eniami nic wspólnego, a 4 je przekszta³ca. Ale dobra, ja pewnie to
> trochê lepiej widzê :-)

Jest maly problem, bo to wszystko nie bedzie dzialac na deklaracjach
typow, ktore sa zmieniane wczesniej. Ale na razie zostanmy przy
wyrazeniach.
 
> Ja my¶la³em, ¿eby przekszta³caæ PT rozszerzenia w PT i dopiero potem to
> typowaæ. Tak powinno byæ pro¶ciej.

Tak bedzie prosciej, ale czasem moze byc znacznie trudniej pisac
rozszerzenia. Nie w tej chwili, ale jak dojdzie jakas rekonstrukcja typow
to rozszerzenie musialoby uwzgledniac ze typ moze byc wpisany albo nie, co
mogloby byc trudne. Ale w tej chwili nie ma co sie tym przejmowac
(chyba) i lepiej sprawdzic jak to w ogole wyglada dla expr.
 
> quote_expr. Chyba powinno siê daæ, ale g³owy bym nie da³.

Pewnie tak, ale najpierw trzeba to zrobic recznie.
 
> OK. Tylko, ¿e dla klas i typów -- to wszystko s± wyra¿enia, tylko
> pracuj± na innych typach. Wiêc w sumie to wszystko jedno.

Ale typy sa otypowane juz wczesniej. Hmm, wlasnie przeczytalem poprzednie
zdanie i zaczynam czuc sie zakrecony. Ale mam nadzieje ze to jest w miare
zrozumiale - czy ta faza ktora robi podtypowanie i zamiane deklaracji
typowych z PT na TT ma prawo sie wywalic na E_quoted ? Tak jak ty
napisales gramatyke to nie ma, ale tak jak ty napisales gramatyke to nie
da sie wejsc zmienna (E_unquoted) do srodka typu w takim wzorcu bo sie nie
sparsuje. OK, zaczynam cos rozumiec. To z tym expr bedzie dzialac, ale
bedzie mozna podpiac sie pod kod tylko w miejscu wywolania expr. Jak sie
wlozy zmienna tam gdzie powinno byc wyrazenie to sie z nia zmatchuje
odpowiednie PT. Wlasciwie dla typow mogloby to byc TT bo one sa juz
(deklaracje typow oczywiscie) za faza ich zamieniania, ale to zostawmy.

Michal, moglbys to co napisales w poprzednim mailu wklepac do kodu ? Czy
moze chcesz zrobic branch ? Bo my sobie mozemy filozofowac w mailach, ale
ja sie gubie i wolalbym to zobaczyc.

- lk