msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

one more trivial optimization for string patterns

Browse Source
This commit is contained in:
krangelov
2021-12-14 09:25:08 +01:00
parent 4886c7ce3b
commit 77693dca3e
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/GF/Compile/TypeCheck/Concrete.hs
View File

@@ -356,7 +356,8 @@ measurePatt gr p =
-> do (min1,max1,p1) <- measurePatt gr p1 -> do (min1,max1,p1) <- measurePatt gr p1
(min2,max2,p2) <- measurePatt gr p2 (min2,max2,p2) <- measurePatt gr p2
case (p1,p2) of case (p1,p2) of
(PW,PW) -> return (0,Nothing,PW) (PW, PW ) -> return (0,Nothing,PW)
(PString s1,PString s2) -> return (min1+min2,liftM2 (+) max1 max2,PString (s1++s2))
_ -> return (min1+min2,liftM2 (+) max1 max2,PSeq min1 max1 p1 min2 max2 p2) _ -> return (min1+min2,liftM2 (+) max1 max2,PSeq min1 max1 p1 min2 max2 p2)
PRep _ _ p -> do (minp,maxp,p) <- measurePatt gr p PRep _ _ p -> do (minp,maxp,p) <- measurePatt gr p
case p of case p of