[Git][ghc/ghc][wip/romes/egraphs-pmc-2] 3 commits: STAGE 1 BUILDS WITHOUT FAILURES.
Rodrigo Mesquita (@alt-romes)
gitlab at gitlab.haskell.org
Mon Oct 30 01:06:37 UTC 2023
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>
More information about the ghc-commits
mailing list