carp-lang / Carp

A statically typed lisp, without a GC, for real-time applications.

Apache License 2.0

5.52k stars 173 forks source link

chore: make Carp compile w/ GHC 9.2 + stack lts20.0 #1449

Closed scolsen closed 1 year ago

scolsen commented 1 year ago

Updates to the hashable library require us to implement Eq for Context types, which I've defined as basic environment equality across the contexts. In addition, I had to eliminate a few cases of uni patterns that GHC did not catch before.

fixes #1448

eriksvedang commented 1 year ago

Wow, great fix, thank you so much! It seems like it worked on CI right? (The failing tests are because the clang version mismatch iirc?)

scolsen commented 1 year ago

Wow, great fix, thank you so much! It seems like it worked on CI right? (The failing tests are because the clang version mismatch iirc?)

Yeah, I think the nix and linux CIs are still failing because of an absent flag for their clang versions.