Waldek Hebisch hebisch@math.uni.wroc.pl writes:
I just noticed that hammer backend can not pass Pascal sets as arguments to functions (procedures). The problem should be easy to solve, but first somebody must decide how sets should be treated on hammer. Currently frontend treats sets as a sequence of longs, that should work, but on hammer SSE2 instructions would double efficiency for moderate and large sets. So the question is if we should just teach backend about our current strategy or should we try something more fancy?
Please include jh@suse.cz in this discussion, he might give you details since he designated the backend.
Before that is resolved the hammer port can not really work.
Ok, so there's no chance for now. Thanks for the update,
Andreas