nominolo / atto-lisp Goto Github PK

attoparsec-0.13.0.1 depended on by:
- atto-lisp-0.2.2.1 (>=0.10 && < 0.13). No maintainer. @nominolo

Data/AttoLisp.hs:1:0:
    Couldn't match expected type `c' against inferred type `b'
      `c' is a rigid type variable bound by
          the instance declaration at Data/AttoLisp.hs:308:34
      `b' is a rigid type variable bound by
          the instance declaration at Data/AttoLisp.hs:308:32
    When using functional dependencies to combine
      ParseList b b,
        arising from a use of `parseList' at Data/AttoLisp.hs:312:4-25
      ParseList b c,
        arising from the instance declaration at Data/AttoLisp.hs:308:9-59

Data/AttoLisp.hs:309:2:
    Couldn't match expected type `c' against inferred type `b'
      `c' is a rigid type variable bound by
          the instance declaration at Data/AttoLisp.hs:308:34
      `b' is a rigid type variable bound by
          the instance declaration at Data/AttoLisp.hs:308:32
    When using functional dependencies to combine
      ParseList a a,
        arising from the dependency `a -> b'
        in the instance declaration at Data/AttoLisp.hs:314:9
      ParseList b c,
        arising from a use of `parseList' at Data/AttoLisp.hs:312:4-25
    When generalising the type(s) for `parseList'
    In the instance declaration for `ParseList (a -> b) c'

Data/AttoLisp.hs:312:4:
    Overlapping instances for ParseList b b
      arising from a use of `parseList' at Data/AttoLisp.hs:312:4-25
    Matching instances:
      instance ParseList a a -- Defined at Data/AttoLisp.hs:314:9-21
      instance (FromLisp a, ParseList b c) => ParseList (a -> b) c
        -- Defined at Data/AttoLisp.hs:308:9-59
    (The choice depends on the instantiation of `b'
     To pick the first instance above, use -XIncoherentInstances
     when compiling the other instance declarations)
    In the expression: parseList msg (f y) xs
    In the expression:
        do { y <- parseLisp x;
             parseList msg (f y) xs }
    In the definition of `parseList':
        parseList msg f (x : xs)
                    = do { y <- parseLisp x;
                           parseList msg (f y) xs }
cabal: Error: some packages failed to install:
atto-lisp-0.2 failed during the building phase. The exception was:
ExitFailure 1

...
atto-lisp    > [1 of 1] Compiling Data.AttoLisp
atto-lisp    > 
atto-lisp    > /tmp/stack-7e4284eec0adb234/atto-lisp-0.2.2.3/Data/AttoLisp.hs:132:5: error:
atto-lisp    >     ‘fail’ is not a (visible) method of class ‘Monad’
atto-lisp    >     |
atto-lisp    > 132 |     fail msg = Parser $ \kf _ks -> kf msg
atto-lisp    >     |     ^^^^
atto-lisp    > 

[1 of 1] Compiling Data.AttoLisp    ( Data/AttoLisp.hs, dist/build/Data/AttoLisp.o )

Data/AttoLisp.hs:157:10: error:
    • No instance for (Semigroup (Parser a))
        arising from the superclasses of an instance declaration
      There are instances for similar types:
        instance Semigroup (Data.Attoparsec.Internal.Types.Parser i a)
          -- Defined in ‘Data.Attoparsec.Internal.Types’
    • In the instance declaration for ‘Monoid (Parser a)’
    |
157 | instance Monoid (Parser a) where
    |          ^^^^^^^^^^^^^^^^^

Data/AttoLisp.hs:210:10: error:
    • No instance for (Semigroup (Result a))
        arising from the superclasses of an instance declaration
    • In the instance declaration for ‘Monoid (Result a)’
    |
210 | instance Monoid (Result a) where
    |          ^^^^^^^^^^^^^^^^^

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
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^