git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2619 from david-christiansen/substr-2
abc76e1Niklas Larsson
test/primitives001/expected+4
compare with master
unifiedsplit
@@ -15,9 +15,13 @@ is 是一个通用的依赖类型纯函数式编程语言，其类型系统与 A
1548
1548
16Idris 是一个通用的依赖类型纯函
16Idris 是一个通用的依赖类型纯函
1718
1718
18+
19+0
18is is a
20is is a
198
218
20is is a general-purpose purely functional programming language with dependent types.
22is is a general-purpose purely functional programming language with dependent types.
2185
2385
22Idris is a general
24Idris is a general
2318
2518
26+
27+0
test/primitives001/substring.idr+7
@@ -25,6 +25,9 @@ negative = Refl
25negativeEnd : prim__strSubstr 0 (-1) firstSentence = ""
25negativeEnd : prim__strSubstr 0 (-1) firstSentence = ""
26negativeEnd = Refl
26negativeEnd = Refl
27
27
28+negativeLength : prim__strSubstr 4 (-4) firstSentence = ""
29+negativeLength = Refl
30+
28main : IO ()
31main : IO ()
29main = do putStrLn $ prim__strSubstr 1 1004 foo
32main = do putStrLn $ prim__strSubstr 1 1004 foo
30 printLn $ length $ prim__strSubstr 1 1000 foo
33 printLn $ length $ prim__strSubstr 1 1000 foo
@@ -40,6 +43,8 @@ main = do putStrLn $ prim__strSubstr 1 1004 foo
40 putStrLn $ show (length (prim__strSubstr 3 8000 input))
43 putStrLn $ show (length (prim__strSubstr 3 8000 input))
41 putStrLn $ prim__strSubstr (-13) 18 input
44 putStrLn $ prim__strSubstr (-13) 18 input
42 putStrLn $ show (length (prim__strSubstr (-13) 18 input))
45 putStrLn $ show (length (prim__strSubstr (-13) 18 input))
46+ putStrLn $ prim__strSubstr 4 (-4) input
47+ putStrLn $ show (length (prim__strSubstr 4 (-4) input))
43 -- Single-byte dynamic string
48 -- Single-byte dynamic string
44 input <- getLine
49 input <- getLine
45 putStrLn $ prim__strSubstr 3 8 input
50 putStrLn $ prim__strSubstr 3 8 input
@@ -48,4 +53,6 @@ main = do putStrLn $ prim__strSubstr 1 1004 foo
48 putStrLn $ show (length (prim__strSubstr 3 8000 input))
53 putStrLn $ show (length (prim__strSubstr 3 8000 input))
49 putStrLn $ prim__strSubstr (-13) 18 input
54 putStrLn $ prim__strSubstr (-13) 18 input
50 putStrLn $ show (length (prim__strSubstr (-13) 18 input))
55 putStrLn $ show (length (prim__strSubstr (-13) 18 input))
56+ putStrLn $ prim__strSubstr 4 (-4) input
57+ putStrLn $ show (length (prim__strSubstr 4 (-4) input))
51
58