From c5b33045238aa22a108c5ffd6989770e94b206eb Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 6 Jun 2022 21:10:38 +1000 Subject: Replacing cabal-helper-0.8.1.2 with 1.1.0.0 --- .../tests/bkpregex/regex-indef/Regex.hs | 14 -------------- .../tests/bkpregex/regex-indef/Str.hsig | 9 --------- 2 files changed, 23 deletions(-) delete mode 100644 vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs delete mode 100644 vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig (limited to 'vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef') 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]] -- cgit v1.2.3