Hi all,
The GHC team would like to acknowledge some ongoing CI instabilities in the
GHC project:
- regular failures of the i386 job, possibly related to the bump to
debian 12
<https://gitlab.haskell.org/ghc/ghc/-/commit/203830065b81fe29003c1640a354f11…>
(although the job still failed occasionally before this),
- flakiness of the MultiLayerModulesDefsGhciReload test causing the
fedora33-release job to fail,
- lack of availability of darwin runners, causing aarch64-darwin and
x86_64-darwin jobs to time out.
These issues are currently causing a string of marge batch failures,
holding up several MRs.
We are currently short on resources for addressing problems with CI, so
please bear with us while we sort the situation out. In the meantime, feel
free to let us know of any other CI issues that are impacting your work on
GHC.
Best,
Sam
Hello GHC developers,
I am Joseph Zullo, a PhD student at Purdue University. I am newly subscribed to this mailing list and my approval for GitLab is awaiting approval: my username is jazullo. I may be interested in adding Zero as a multiplicity to Linear Haskell as discussed in the source code notes<https://github.com/ghc/ghc/blob/e258ad546d96fcfffd525f9b51d237cee467ad73/co…>. My current use-case is with Liquid Haskell: I have Liquid Haskell proof terms embedded in linearly typed procedures, but the "ghost" proof terms consume terms nonlinearly even though they have no bearing on the linear style of the procedure (a binary "?" operator is used with terms to the left and proofs to the right). I am looking for any work arounds for this issue, or for any help or interest in adding zero as a multiplicity so that proof terms can be casted as non-consuming. Let me know if there are any proper avenues for this problem and/or proposal. I greatly appreciate any direction or assistance.
Joseph
