allow patterns inside pre to contain concatenation

This commit is contained in:
Krasimir Angelov
2025-08-08 13:55:39 +02:00
parent 0b4426ab83
commit 82c1a70cfb
@@ -230,6 +230,7 @@ str2lin v0@(VAlts def alts)
to_str _ = fail
from_patt (PAlt p1 p2) = liftM2 (++) (from_patt p1) (from_patt p2)
from_patt (PSeq _ _ p1 _ _ p2) = liftM2 (liftM2 (++)) (from_patt p1) (from_patt p2)
from_patt (PString s) = return [s]
from_patt _ = fail