[Git][ghc/ghc][wip/romes/egraphs-pmc-2] 3 commits: STAGE 1 BUILDS WITHOUT FAILURES.

[Rodrigo Mesquita (@alt-romes)]

Rodrigo Mesquita pushed to branch wip/romes/egraphs-pmc-2 at Glasgow Haskell Compiler / GHC


Commits:
a8dea067 by Rodrigo Mesquita at 2023-10-29T21:59:01+00:00
STAGE 1 BUILDS WITHOUT FAILURES.

- - - - -
646d8885 by Rodrigo Mesquita at 2023-10-29T22:45:35+00:00
update submodl

- - - - -
1917b37f by Rodrigo Mesquita at 2023-10-30T01:06:30+00:00
depstest

- - - - -


3 changed files:

- + TODO
- libraries/hegg
- testsuite/tests/count-deps/CountDepsParser.stdout


Changes:

=====================================
TODO
=====================================
@@ -0,0 +1,9 @@
+The current failures might be because congruence isn't being maintained properly downwards, I think...?
+Instead, we might do this manually for merging positive constructor info in the e-graphs analysis modify function?
+
+If this works, the major todos are
+* Propagating strictness annotations to underlying newtypes (likely modify analysis)
+* Clean up equality
+    * How to do Ord Type?
+* Clean up solver
+    * Merge args of data cons when merging by congruence (likely modify analysis as well)


=====================================
libraries/hegg
=====================================
@@ -1 +1 @@
-Subproject commit 1d849142a21977d15c0be7943f1ad4f494054663
+Subproject commit ae48ade5696e61382f49e03726cedc2cb30d5389


=====================================
testsuite/tests/count-deps/CountDepsParser.stdout
=====================================
@@ -21,11 +21,11 @@ GHC.Core.Coercion.Axiom
 GHC.Core.Coercion.Opt
 GHC.Core.ConLike
 GHC.Core.DataCon
+GHC.Core.Equality
 GHC.Core.FVs
 GHC.Core.FamInstEnv
 GHC.Core.InstEnv
 GHC.Core.Make
-GHC.Core.Map.Expr
 GHC.Core.Map.Type
 GHC.Core.Multiplicity
 GHC.Core.Opt.Arity
@@ -194,7 +194,6 @@ GHC.Types.Unique.DFM
 GHC.Types.Unique.DSet
 GHC.Types.Unique.FM
 GHC.Types.Unique.Map
-GHC.Types.Unique.SDFM
 GHC.Types.Unique.Set
 GHC.Types.Unique.Supply
 GHC.Types.Var



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4b9d8860b615a8f26399c4a01284b94257094beb...1917b37fc1df990caf61fbda0a05dddfc9775914

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4b9d8860b615a8f26399c4a01284b94257094beb...1917b37fc1df990caf61fbda0a05dddfc9775914
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20231029/693cf077/attachment-0001.html>