diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
| commit | c5b33045238aa22a108c5ffd6989770e94b206eb (patch) | |
| tree | 70f0325044b9d4748870a62adebca5c0e46f9e59 /vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef | |
| parent | 93825d12f0e3c97a5db4a48b4fe6ae4865256a67 (diff) | |
Replacing cabal-helper-0.8.1.2 with 1.1.0.0
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]] |