git.iko.soy/Idris-dev
on master help sign in
Remove buffer test
0aa5d53Markus Pfeiffer
test/Makefile+1−1
compare with master
unifiedsplit
@@ -8,7 +8,7 @@ test: $(TESTS)
8 @perl ./runtest.pl $(patsubst %.test,%,$@)
8 @perl ./runtest.pl $(patsubst %.test,%,$@)
9
9
10test_js:
10test_js:
11− @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 buffer001 basic007 basic011 primitives004 ffi006 --codegen node
11+ @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 basic007 basic011 primitives004 ffi006 --codegen node
12
12
13update:
13update:
14 /usr/bin/env perl ./runtest.pl all -u
14 /usr/bin/env perl ./runtest.pl all -u
test/buffer001-disabled/buffer001.idrdeleted−45
@@ -1,45 +0,0 @@
1−module Main
2−
3−import Data.Buffer
4−
5−em : Buffer 0
6−em = allocate 4
7−
8−one : Bits32
9−one = 1
10−
11−two : Bits8
12−two = 2
13−
14−firstHalf : Buffer 4
15−firstHalf = appendBits32LE em 1 one
16−
17−full : Buffer 8
18−full = appendBits8 firstHalf 4 two
19−
20−firstByte : Bits8
21−firstByte = peekBits8 full 0
22−
23−firstHalfView : Buffer 4
24−firstHalfView = peekBuffer full 0
25−
26−firstHalfCopy : Buffer 4
27−firstHalfCopy = copy firstHalfView
28−
29−oneFromFirstHalf : Bits32
30−oneFromFirstHalf = peekBits32LE firstHalf 0
31−
32−oneFromFirstHalfCopy : Bits32
33−oneFromFirstHalfCopy = peekBits32LE firstHalfCopy 0
34−
35−viewsAndCopiesPreserveEquality : Bool
36−viewsAndCopiesPreserveEquality = ( oneFromFirstHalf == one ) && ( oneFromFirstHalfCopy == one )
37−
38−secondHalfWord : Bits32
39−secondHalfWord = peekBits32LE full 4
40−
41−main : IO ()
42−main = do
43− putStrLn $ show firstByte
44− putStrLn $ show viewsAndCopiesPreserveEquality
45− putStrLn $ show secondHalfWord
test/buffer001-disabled/expecteddeleted−3
@@ -1,3 +0,0 @@
1−01
2−True
3−02020202
test/buffer001-disabled/rundeleted−4
@@ -1,4 +0,0 @@
1−#!/usr/bin/env bash
2−idris $@ buffer001.idr -o buffer001
3−./buffer001
4−rm -f buffer001 *.ibc