linearscan
linearscan copied to clipboard
linearscan-1.0.0 on hackage does not compile on GHC 8.2.1/8.0.2
GHC.Prim.Any was renamed. See coq/coq#6022
I personally worked around this by just using sed -i 's/GHC\.Prim\.Any/GHC\.Base\.Any' *.hs on the linearscan-1.0.0 code, but it would be nice to upload a fixed version.
See also https://github.com/thoughtpolice/regalloc-bkp/blob/master/nab-linearscan.sh
Thanks, Austin! I've been meaning to get everything working with Coq 8.7.