Compiling quickSort from the standard library results in C compilation errors

[lukaszcz]

Compiling:

module qs;

open import Stdlib.System.IO;
open import Stdlib.Data.Nat;
open import Stdlib.Data.Nat.Ord;
open import Stdlib.Data.List;

main : IO;
main := putStrLn (natToStr (length (quickSort compare (zero ∷ nil))));

end;

results in

qs.c:359:12: warning: implicit declaration of function 'cmp_462' is invalid in C99 [-Wimplicit-function-declaration]
    return cmp_462(env->ea0, fa1);
           ^
qs.c:359:12: warning: incompatible integer to pointer conversion returning 'int' from a function with result type 'Ordering_61_t *' (aka 'struct Ordering_61_s *') [-Wint-conversion]
    return cmp_462(env->ea0, fa1);
           ^~~~~~~~~~~~~~~~~~~~~~
qs.c:784:127: error: too few arguments to function call, expected 3, have 2
                                                                                                           proj_ca0_V_435(fa1))),
                                                                                                                              ^
2 warnings and 1 error generated.

For now, I propose quickSort be removed from the standard library.

This is the last remaining issue that makes the tests fail after removing MonoJuvix. Earlier quickSort was not compiled unless used -- unused functions were recognised by having a polymorphic type and removed. After removing MonoJuvix, quickSort is compiled every time Stdlib.Data.List is imported.

[lukaszcz]

I think this is the same issue as #1596. It should be fixed with the new backend.