Remove buffer test

test/Makefile

@@ -8,7 +8,7 @@ test: $(TESTS)
 	@perl ./runtest.pl $(patsubst %.test,%,$@)
 
 test_js:
-	@perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 buffer001 basic007 basic011 primitives004 ffi006 --codegen node
+	@perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 basic007 basic011 primitives004 ffi006 --codegen node
 
 update:
 	/usr/bin/env perl ./runtest.pl all -u

test/buffer001-disabled/buffer001.idr

@@ -1,45 +0,0 @@
-module Main
-
-import Data.Buffer
-
-em : Buffer 0
-em = allocate 4
-
-one : Bits32
-one = 1
-
-two : Bits8
-two = 2
-
-firstHalf : Buffer 4
-firstHalf = appendBits32LE em 1 one
-
-full : Buffer 8
-full = appendBits8 firstHalf 4 two
-
-firstByte : Bits8
-firstByte = peekBits8 full 0
-
-firstHalfView : Buffer 4
-firstHalfView = peekBuffer full 0
-
-firstHalfCopy : Buffer 4
-firstHalfCopy = copy firstHalfView
-
-oneFromFirstHalf : Bits32
-oneFromFirstHalf = peekBits32LE firstHalf 0
-
-oneFromFirstHalfCopy : Bits32
-oneFromFirstHalfCopy = peekBits32LE firstHalfCopy 0
-
-viewsAndCopiesPreserveEquality : Bool
-viewsAndCopiesPreserveEquality = ( oneFromFirstHalf == one ) && ( oneFromFirstHalfCopy == one )
-
-secondHalfWord : Bits32
-secondHalfWord = peekBits32LE full 4
-
-main : IO ()
-main = do
-  putStrLn $ show firstByte
-  putStrLn $ show viewsAndCopiesPreserveEquality
-  putStrLn $ show secondHalfWord

test/buffer001-disabled/expected

@@ -1,3 +0,0 @@
-01
-True
-02020202

test/buffer001-disabled/run

@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-idris $@ buffer001.idr -o buffer001
-./buffer001
-rm -f buffer001 *.ibc