Added a pair of rewrite rules to the smart constructor for the Or pattern, to compact an Or pattern where the two sub-patterns are Kleene stars of character sets. This also seems to have fixed the termination problem which has been plaguing fsharplex for a long while.
Added a pair of rewrite rules to the smart constructor for the Or pattern, to compact an Or pattern where the two sub-patterns are Kleene stars of character sets. This also seems to have fixed the termination problem which has been plaguing fsharplex for a long while.

emavchun/facio,emavchun/facio,YaccConstructor/facio,jack-pappas/facio,YaccConstructor/facio