Serge S. Gulin

Stuck tests running. The difference between the commit and main: ```diff % diff tests/build/exec/runtests_app/runtests.ss tests/build/exec/runtests_app/runtests.ss.back 3c3 < ;; @generated by Idris 0.7.0-7098a379f, Chez backend --- > ;; @generated by Idris...

Added special inverted operators for current `ScopedList`. They purpose will be simulate usage of `SnocList`. ``` > (1 :%: 2 :%: Lin) +%+ (3 :%: 4 :%: Lin) 1 :%:...

Current progress: ``` $ make bootstrap-libs ... $ echo $? 0 ``` Which means we can compile bootstrap libs but its work was not tested yet. Next target is: ```...

What a nice day today! MOAR progress! ``` $ make idris2-exec bootstrap-libs libs ... 8/33: Building Search.Auto (Search/Auto.idr) Error: While processing right hand side of const. Error during reflection: Can't...

Fixed that one. And next one is the following: ``` 11/33: Building Language.IntrinsicTyping.SECD (Language/IntrinsicTyping/SECD.idr) Error: step is not covering. ```

Idris2 and all its libs build fine 🎉 : ``` $ make idris2-exec libs ... $ echo $? 0 ``` But their actual work was not tested yet. Doing it...

Now it can compile test runner and even run it!

``` 799/871 tests successful Failing tests: ``` - [ ] allbackends/evaluator004 - [ ] allbackends/popen2 - [x] base/deriving_foldable - [x] base/deriving_functor - [x] base/deriving_show - [x] base/deriving_traversable - [ ]...

Ported github test runner by @spcfox with 1m timeout, fixed grammatics with help @dunhamsteve

Actual tests state according to CI: ``` 824/871 tests successful ``` - [ ] allbackends/evaluator004 - [ ] allbackends/popen2 - [ ] chez/chez007 - [ ] chez/constfold2 - [x] codegen/builtin001...