patterns.cd 345 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
debug filter [ (1 2 3?)* ] [ (x::(1 2) 3?)* ];;

debug compile [(`A `B `C?)*] [ (((x::`A) `B (x::`C))|_)* ];;

debug compile [(`A)*] [ (x::`A)* ];;

debug compile Any {x=`A;y=`B};;
debug compile Any [((x::1)|(y::2))*];;

debug compile Any ((x,_),_) ((_,x),_);;
debug compile [ (1 3?)* ] [(x::1 3?)*];;
debug compile [ (1 3?)* ] [(1 (x::3)?)*];;