git.iko.soy/Idris-dev
on master help sign in
Fix assumption in test that sizeof(size_t) == 8
f9a905eJacob Mitchell
test/tutorial007/expected+1−1
compare with master
unifiedsplit
@@ -1 +1 @@
1−sizeof(size_t): 8 bytes
1+Pass
test/tutorial007/nativetypes.c+11−1
@@ -1,3 +1,13 @@
1#include <stdio.h>
1#include <stdio.h>
2
2
3−int sizeof_size_t() { return sizeof(size_t); }
3+int sizeof_size_t() {
4+ int sz = sizeof(size_t);
5+
6+ FILE *f = fopen("sizefromc.txt", "w");
7+ if (f == NULL) {
8+ printf("Failed to open file from C");
9+ }
10+ fprintf(f, "%d bytes", sz);
11+
12+ return sz;
13+}
test/tutorial007/run+2−2
@@ -1,5 +1,5 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−gcc -shared nativetypes.c -o nativetypes.so
2+gcc -shared -fPIC nativetypes.c -o nativetypes.so
3idris $@ tutorial007.idr -o tutorial007
3idris $@ tutorial007.idr -o tutorial007
4./tutorial007
4./tutorial007
5−rm -f tutorial007 *.ibc *.so
5+rm -f tutorial007 *.ibc *.so sizefromc.txt
test/tutorial007/tutorial007.idr+4−2
@@ -5,5 +5,7 @@ import Providers
5
5
6main : IO ()
6main : IO ()
7main = do
7main = do
8− putStr "sizeof(size_t): "
8+ expected <- readFile "sizefromc.txt"
9− putStrLn (show szSizeT)
9+ putStrLn $ if show szSizeT == expected
10+ then "Pass"
11+ else "Fail: \"" ++ show szSizeT ++ "\" /= \"" ++ expected ++ "\""