ref: dff81d06fe53853de35d3efa971e968d14fbfb1e
parent: fdc175a8f338b5779af5729dd7c18656f8f913aa
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Nov 27 14:11:57 EST 2023
Less 32 testing
--- a/.github/workflows/c-cpp.yml
+++ b/.github/workflows/c-cpp.yml
@@ -43,22 +43,28 @@
- name: nmake exampletest
run: nmake -f Makefile.windows exampletest
-# build-linux-32:
-# runs-on: ubuntu-latest
-# steps:
-# - uses: jirutka/setup-alpine@v1
-# with:
-# arch: x86
-# branch: v3.15
-# packages: >
-# build-base
-# gcc
-# make
-# - name: checkout repo
-# uses: actions/checkout@v3
-# - name: make
-# run: make CONF=unix-32
-# shell: alpine.sh {0}+ build-linux-32:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: jirutka/setup-alpine@v1
+ with:
+ arch: x86
+ branch: v3.15
+ packages: >
+ build-base
+ gcc
+ make
+ - name: checkout repo
+ uses: actions/checkout@v3
+ - name: make
+ run: make CONF=unix-32
+ shell: alpine.sh {0}+ - name: make mhseval
+ run: make CONF=unix-32 bin/mhseval
+ shell: alpine.sh {0}+ - name: simple test
+ run: bin/mhseval +RTS -v -v -v -v -rcomb/simple.comb"
+ shell: alpine.sh {0}# - name: make everytestmhs
# run: make CONF=unix-32 everytestmhs
# shell: alpine.sh {0}--- /dev/null
+++ b/comb/simple.comb
@@ -1,0 +1,3 @@
+v5.1
+757
+((A :0 ((B (B (B (B C)))) ((B (B (B C))) ((B (B C)) P)))) ((A :1 (U (Z (Z (Z K))))) ((A :2 (U (K (Z (Z K))))) ((A :3 (U (K (K (Z K))))) ((A :4 (U (K (K (K K))))) ((A :5 (U (K (K (K A))))) ((A :6 (K (noDefault "Applicative.pure"))) ((A :7 (K (noDefault "Applicative.<*>"))) ((A :8 (((S' B) _3) (((C' _246) _1) _237))) ((A :9 (((S' B) _3) (((C' _249) _1) _238))) ((A :10 _642) ((A :11 (_10 "undefined")) ((A :12 ((B (B (B C))) ((B (B C)) P))) ((A :13 (U (Z (Z K)))) ((A :14 (U (K (Z K)))) ((A :15 (U (K (K K)))) ((A :16 (U (K (K A)))) ((A :17 (K (noDefault "Monad.>>="))) ((A :18 (((C' (C' B)) _14) K)) ((A :19 ((B _2) _13)) ((A :20 (((S' (C' B)) _14) (((S' (C' B)) _14) (B' _16)))) ((A :21 P) ((A :22 (U K)) ((A :23 (U A)) ((A :24 (K _10)) ((A :25 ((B (B Y)) (((S' B) (B' ((B P) ((C _16) _415)))) (((S' (C' B)) ((B (B (C' B))) (B' _14))) (((S' (C' (C' B))) (B' _14)) (((C' B) (B' _16)) _416)))))) ((A :26 ((B (B Y)) (((S' B) (B' ((B P) ((C _16) _586)))) (((C' (C' B)) ((B (B (C' B))) (B' _14))) Z)))) ((A :27 ((B U) ((C _16) _586))) ((A :28 ((C _25) _237)) ((A :29 ((B _239) _14)) ((A :30 ((B C) ((B C') _14))) ((A :31 ((B _239) _30)) ((A :32 ((B Y) (((S' B) (B' ((B P) ((C _16) _415)))) (((S' B) ((B (S' (S' B))) (B' _14))) (((S' (C' (C' B))) ((B (B (B (C' B)))) (B' (B' _14)))) (((C' B) (B' (B' ((B _234) _16)))) ((B (C S)) _416))))))) ((A :33 ((B Y) (((S' B) (B' ((B P) ((C _16) ((P _415) _415))))) (((S' B) ((B (S' (S' B))) (B' _14))) (((S' (C' (C' B))) ((B (B (B (C' B)))) (B' (B' _14)))) ((B (B (B U))) (((C' B) (B' (B' (B' ((B _234) _16))))) (((S' C) ((B ((C' S') S')) ((B ((C' B) P)) _416))) ((B (B P)) _416))))))))) ((A :34 ((_244 _236) (_248 _34))) ((A :35 (((((_0 _34) _238) S) (_8 _35)) (_9 _35))) ((A :36 ((((_12 _35) (((C' C) (C S')) I)) (_18 _36)) (_19 _36))) ((A :37 ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))) ((B (B (B (B (B (B (B (B (B (B (B C))))))))))) ((B (B (B (B (B (B (B (B (B (B C)))))))))) ((B (B (B (B (B (B (B (B (B C))))))))) ((B (B (B (B (B (B (B (B C)))))))) ((B (B (B (B (B (B (B C))))))) ((B (B (B (B (B (B C)))))) ((B (B (B (B (B C))))) ((B (B (B (B C)))) ((B (B (B C))) ((B (B C)) P))))))))))))))))))))) ((A :38 (U (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :39 (U (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :40 (U (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :41 (U (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :42 (U (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :43 (U (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :44 (U (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :45 (U (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :46 (U (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :47 (U (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :48 (U (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :49 (U (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :50 (U (K (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :51 (U (K (K (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z K)))
\ No newline at end of file
--
⑨