Update to GHC 9.12.2

[zlonast]

• external-stg-interpreter
• external-stg-syntax
• external-stg
• external-stg-compiler
  ghc-wpc-testsuite-ci
• lambda
• wpc-plugin

also fix

• souffle-haskell Remove std::iterator luc-tielen/souffle-haskell#78

btf, tests also work

[zlonast]

I think I have two goals:

1. make everything compile
2. make everything work with the latest ghc (9.12.2)

[zlonast]

I don't see any prospects for supporting versions below ghc 9.6.6 yet, but I'm open to any suggestions.

[zlonast]

@csabahruska If you suddenly have any ideas that you would like to implement first, I would be interested to know about them.

[zlonast]

I still don't understand what the lambda project does.
I think for now I'll update the external-stg-compiler to the wpc-plugin level

[csabahruska]

Hey,
Thanks for your interest.
I'd like to point out that I will port the whole project from Haskell to another new language called csip which supports staging and dependent types. So unless you would like to do something with the Haskell version it does not worth to update it to the latest GHC version.

[zlonast]

Hey,
Thanks for your interest.
I'd like to point out that I will port the whole project from Haskell to another new language called csip which supports staging and dependent types. So unless you would like to do something with the Haskell version it does not worth to update it to the latest GHC version.

Sounds interesting, can you share what materials are worth studying in order to better understand the grin compiler and stg?

[zlonast]

I would like to better understand what you are doing on a theoretical level.

[zlonast]

I think my current pull request is more about my practice in understanding the work you have already done.