Skip to content

Commit

Permalink
Fix errors after merge
Browse files Browse the repository at this point in the history
  • Loading branch information
ckoparkar committed Aug 22, 2023
1 parent ee482b0 commit fd80a0d
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 12 deletions.
4 changes: 2 additions & 2 deletions gibbon-compiler/gibbon.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ copyright: Copyright 2016-2022 Ryan Newton and contributors
category: Compilers/Interpreters
extra-source-files: README.md
build-type: Simple
extra-source-files: README.md, cbits/rts.c
extra-source-files: README.md
cabal-version: >=1.10
tested-with: GHC==9.4.6
, GHC==9.4.5
Expand Down Expand Up @@ -124,7 +124,7 @@ library
, GenericPretty >= 1.2.1 && < 2
, language-c-quote >= 0.12.1 && < 1
, mainland-pretty >= 0.6.1 && < 1
, language-python >= 0.5.0 && <= 0.5.8
, language-python >= 0.5.0 && <= 0.5.8
, timeit >= 0.9 && <= 2.0
, time >= 1 && <= 1.12.2
-- Brings in lots of ekmett dependencies:
Expand Down
12 changes: 2 additions & 10 deletions gibbon-compiler/tests/test-gibbon-examples.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -71,10 +71,8 @@ tests:
- name: test11f_funrec.gib
- name: test11_fundata.gib
- name: test12b_traverse.gib
# Unexpected segfault.
failing: [pointer, gibbon1, gibbon2, gibbon3]
failing: [gibbon1, gibbon2, gibbon3]
- name: test12c_traverse.gib
# Unexpected segfault.
failing: [gibbon1, gibbon2, gibbon3]
- name: test13b_build.gib
- name: test13_build.gib
Expand All @@ -101,15 +99,11 @@ tests:
- name: test14c_tail.gib
- name: test14d_unary_tup.gib
- name: test15a_symsearch.gib
# Unexpected segfault.
failing: [pointer]
- name: test15c_printsym.gib
skip: true
# printing symbols is broken atm
- name: test15d_symsearch.hs
answer-file: examples/test15d_symsearch.ans
# Unexpected segfault.
failing: [pointer]
- name: test15e_gensym.hs
answer-file: examples/test15e_gensym.ans
# Gensym is broken in the interpreter. (randomIO is not determinisitc, we probably should use a fixed seed for interpreter)
Expand Down Expand Up @@ -343,8 +337,6 @@ tests:
- name: NeedsClosure.hs
dir: examples/poly
answer-file: examples/poly/NeedsClosure.hs.ans
# Unexpected segfault.
failing: [pointer]

- name: MutualRec.hs
dir: examples/poly
Expand Down Expand Up @@ -507,7 +499,7 @@ tests:

## Tests that only work with some backend:
- name: test18f_flip.gib
failing: [gibbon1, gibbon2, gibbon3, pointer]
failing: [gibbon1, gibbon2, gibbon3]
- name: pp_projs.gib
skip: true
- name: test12_skip.gib
Expand Down

0 comments on commit fd80a0d

Please sign in to comment.