search

haskell-servant / servant-elm

Automatically derive Elm functions to query servant webservices
BSD 3-Clause "New" or "Revised" License
164 stars 48 forks source link

test suite failure with servant-0.18.2 #62

Closed jkachmar closed 3 years ago

jkachmar commented 3 years ago

The servant-elm-0.7.2 test suite appears to fail when compiled against servant-0.18.2 (et al. Servant 0.18.x supporting libraries).

The errors are as follows:

    /var/stackage/work/unpack-dir/unpacked/servant-elm-0.7.2-4b10f1da950fea1a0bcaf74a9e68dc0a1c01
36e8c09a136b9c3f6c89e09ad21a/test/Common.hs:41:13: error:
        • Expected kind ‘[*] -> * -> *’, but ‘PostNoContent’ has kind ‘*’
        • In the second argument of ‘(:>)’, namely
            ‘PostNoContent '[JSON] ()’
          In the second argument of ‘(:>)’, namely
            ‘ReqBody '[JSON] Book :> PostNoContent '[JSON] ()’
          In the first argument of ‘(:<|>)’, namely
            ‘"books" :> ReqBody '[JSON] Book :> PostNoContent '[JSON] ()’
       |
    41 |          :> PostNoContent '[JSON] ()
       |
    /var/stackage/work/unpack-dir/unpacked/servant-elm-0.7.2-4b10f1da950fea1a0bcaf74a9e68dc0a1c01
36e8c09a136b9c3f6c89e09ad21a/test/Common.hs:43:13: error:
        • Expected kind ‘[*] -> * -> *’, but ‘GetNoContent’ has kind ‘*’
        • In the second argument of ‘(:>)’, namely
            ‘GetNoContent '[JSON] ()’
          In the first argument of ‘(:<|>)’, namely
            ‘"nothing" :> GetNoContent '[JSON] ()’
          In the second argument of ‘(:<|>)’, namely
            ‘"nothing" :> GetNoContent '[JSON] ()
             :<|>
             "nothing" :> Put '[JSON] ()
             :<|>
             "with-a-header"
             :>
             Header "Cookie" String
             :>
             Header "myStringHeader" String
             :>
             Header "MyIntHeader" Int
             :>
             Header' '[Required] "MyRequiredStringHeader" String
             :>
             Header' '[Required] "MyRequiredIntHeader" Int :> Get '[JSON] String
             :<|>
             "with-a-response-header"
             :> Get '[JSON] (Headers '[Header "myResponse" String] String)’
       |
    43 |          :> GetNoContent '[JSON] ()
       |             ^^^^^^^^^^^^^^^^^^^^^^^
k-bx commented 3 years ago

Fixed in master, thanks!