search

jlab / gapc

Bellman's GAP compiler
GNU General Public License v3.0
7 stars 6 forks source link

migrate from osx-11 to osx-12 #222

Closed sjanssen2 closed 9 months ago

sjanssen2 commented 9 months ago

let's see what's breaking ... basically only Haskell stuff, i.e. we know explicitly "expose" modules to import "prelude", "Data.Array" and "Data.Map"

I furthermore found, that sorting of Alt(ernatives) for the "outside_axiom" seems to be unstable in OSX. I will create an according PR later. Fixed via #223