[nem-pl] Pattern matching wygenerowanych drzew

[Kamil Skalski]

No i natrafiłem na pierwszy problem koncepcyjny.
Otóż takie <[ 2+ 2 ]> przekształci się na coś w stylu
E_call ( E_ref ("+"), [Parm (E_literal (2)); Parm (E_literal (2))])
i wszystko ładnie
ale kiedy przyjdzie zmatchowac takie wyrazenie, piszac to samo w patternie, to 
bum: Parm nie jest wariantem, tylko konstruktorem klasy, zatem nie może być 
umieszczony w patternie... :(
Zresztą w samym języku to jest uciążliwe, kiedy musimy matchować jakąś klasę.

Jedyne rozwiązanie, które widzę, to jednak napisać dla patternów coś całkiem 
osobnego. 

Kamil