diff options
Diffstat (limited to 'vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef')
-rw-r--r-- | vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs | 14 | ||||
-rw-r--r-- | vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig | 9 |
2 files changed, 0 insertions, 23 deletions
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs deleted file mode 100644 index 506566b..0000000 --- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs +++ /dev/null @@ -1,14 +0,0 @@ -module Regex where - -import Prelude hiding (null) -import Str -import Regex.Types - -accept :: Reg -> Str -> Bool -accept Eps u = null u -accept (Sym c) u = u == singleton c -accept (Alt p q) u = accept p u || accept q u -accept (Seq p q) u = - or [accept p u1 && accept q u2 | (u1, u2) <- splits u] -accept (Rep r) u = - or [and [accept r ui | ui <- ps] | ps <- parts u] diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig deleted file mode 100644 index 23bfb8c..0000000 --- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig +++ /dev/null @@ -1,9 +0,0 @@ -signature Str where - -data Str -instance Eq Str - -null :: Str -> Bool -singleton :: Char -> Str -splits :: Str -> [(Str, Str)] -parts :: Str -> [[Str]] |