search

nominolo / atto-lisp

Efficient parsing and encoding of Lisp expressions for Haskell.
Other
24 stars 16 forks source link

with ghc-9.2: Non type-variable argument in the constraint: TypeCast f HTrue #30

Open jwaldmann opened 2 years ago

jwaldmann commented 2 years ago 
cabal -w/opt/ghc/ghc-9.2.1.20220211/bin/ghc test
...
Data/AttoLisp.hs:358:10: error:
    • Non type-variable argument in the constraint: TypeCast f HTrue
      (Use FlexibleContexts to permit this)
    • In the instance declaration for ‘IsFunction (x -> y) f’
    |
358 | instance TypeCast f HTrue => IsFunction (x -> y) f
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^