search

jkoppel / Strafunski-ATermLib

Cabalized version of the ATermLib library from Strafunski
Other
2 stars 0 forks source link

Bounds are too strict. #1

Open noughtmare opened 3 years ago

noughtmare commented 3 years ago

I would like to use this library, but it won't compile with recent versions of base and containers because of the strict bounds. It turns out that it still compiles fine with --allow-newer. Can you please update the bounds? And perhaps also make a Hackage revision with the updated bounds.

jkoppel commented 3 years ago

Hi Jaro,

Cool that you want to use this.

Some history: This library was created by Joost Visser and Ralf Lämmel almost 20 years ago. About 7-8 years ago, I put in on Hackage principally because I wanted to play with Strafunski Strategy-Lib, which has this as a dependency.

I handed maintainership of Strafunski Strategy-Lib over to https://github.com/alanz a while ago. I think you're the first person to express any interest in the other two components of Strafunski.

I've never actually used this library, and am not planning to do anything with it other than to press "Confirm and Merge" on pull requests that come in.

So, feel free to send in a PR, or even volunteer to actually take it over. I have my hands full with several other projects, and won't be touching this.

noughtmare commented 3 years ago

I'm actually developing a visualization tool for uuagc as part of an internship at the Utrecht University. A part of this aterm library was used there (here and here). It was used to export data produced by the compiler to the visualization tool. I was thinking of using this library because it is the only aterm package on hackage that still compiles (with --allow-newer).

But, now I'm beginning to think that a simple JSON format will be easier to maintain and that is better supported in the Haskell ecosystem. I will experiment with that first, if it is not satisfactory I will return to this package.

Either way I will also not have the time to properly maintain this library.

jkoppel commented 3 years ago

As soon as I saw that you're from the Netherlands, I guessed something like that.

Anyway, feel free to send in a PR with the bounds change.