shithub: MicroHs

Info  •  Files  •  Log  •  Branches

More 32 tests

--- a/.github/workflows/c-cpp.yml

+++ b/.github/workflows/c-cpp.yml

@@ -65,6 +65,9 @@

     - name: simple test

       run: bin/mhseval +RTS -v -v -v -v -rcomb/simple.comb

       shell: alpine.sh {0}

+    - name: mhs test

+      run: bin/mhs +RTS -v -v -v -v -RTS Bad

+      shell: alpine.sh {0}

 #    - name: make everytestmhs

 #      run: make CONF=unix-32 everytestmhs

 #      shell: alpine.sh {0}

--- a/src/runtime/config-unix-64.h

+++ b/src/runtime/config-unix-64.h

@@ -123,7 +123,7 @@

 {

   struct timeval tv;

   (void)gettimeofday(&tv, NULL);

-  return (int)(tv.tv_sec * 1000 + tv.tv_usec / 1000);

+  return (uintptr_t)(tv.tv_sec * 1000 + tv.tv_usec / 1000);

 }

 #define GETTIMEMILLI gettimemilli

--- a/src/runtime/eval.c

+++ b/src/runtime/eval.c

@@ -177,8 +177,8 @@

 counter_t num_reductions = 0;

 counter_t num_alloc;

 counter_t num_gc = 0;

-uint64_t gc_mark_time = 0;

-uint64_t run_time = 0;

+uintptr_t gc_mark_time = 0;

+uintptr_t run_time = 0;

 NODEPTR *stack;

 stackptr_t stack_ptr = -1;

-- 

⑨