GuillaumeGen

This adds a test for #1771 as suggested by #1783

Some tools like `sed` are used in some bash scripts but are not imported using the POSIX toolchain. This could lead to unexpected behavior, especially when the rules are used...

Revise ghc_wrapper.sh

1

The script `haskell/private/ghc_wrapper.sh` is growing (especially with #1771 ). This lead to design flaws, to avoid making more computation in the bash file, some arguments which could be easily reconstructed...

Free variable applied in LHS

1

For the file ``` nat : Type. def pair : (nat->nat)->nat->nat. def split : nat->nat. [F,Y] split (F Y)-->pair F Y. ``` which should obviously be refused by Dedukti since...

This addresses #1813

Building the most straightforward tests with GHC Bindist compiled with Hadrian

2

This is using a locally built bindist using Hadrian. This is currently passing 153 of the 206 tests when running `bazel test //... --keep_going`. The main identified issues for failing...

Add check that all tests are mentionned in tests/main

1

As suggested by @francoisthire in #325

Fix #295

1

This is the simplest fix to #295 . Consequence of this fix is that now, if one names a module with a keyword, they have to require it using "{|...|}"....