Skip to content

Instantly share code, notes, and snippets.

@Woody88
Created August 29, 2020 10:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Woody88/2958c91861ff67517c3f7ddf3ca65556 to your computer and use it in GitHub Desktop.
Save Woody88/2958c91861ff67517c3f7ddf3ca65556 to your computer and use it in GitHub Desktop.
Weird Purescript Error Mesaage...
class ParseBodyRL (rl :: RowList) b | rl -> b where
parseBodyRL :: RLProxy rl -> Request -> ExceptT String Aff b
instance parseBodyRLConsNil :: ParseBodyRL RL.Nil Unit where
parseBodyRL _ = pure unit
-- Weird error message...
-- Could not match type
-- Unit
-- with type
-- ExceptT String Aff Unit
-- while trying to match type t0 t1
-- with type Request -> ExceptT String Aff Unit
-- while checking that expression pure unit
-- has type Request -> ExceptT String Aff Unit
-- in value declaration parseBodyRLConsNil
-- where t0 is an unknown type
-- t1 is an unknown type
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment