purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Version compatibility #7

Closed joneshf closed 7 years ago

joneshf commented 7 years ago

The README states that this library is compatible with compiler versions >= 0.10.5. A few questions:

  1. Is there a reason 0.10.5 was chosen?
  2. How strongly do we feel this library need to stay backward compatible to 0.10.5?
  3. How would we feel about compiling with different versions on travis?
garyb commented 7 years ago
  1. That's when custom kinds were introduced, and somewhere around there the some Symbol-related compiler-soved classes too
  2. I don't think that's necessary really, we don't do that anywhere else :smile:
  3. Maybe moot

I think the notice was more about saying this library won't work with older compilers, when it was first introduced. We can probably drop the notice now, since hopefully everyone is on 0.11.x anyway... 🤞

joneshf commented 7 years ago

Gotcha. Thanks!