Error in example

[brodeuralexis]

I'm having trouble compiling the example.

The following snippet:

postEdit :: Match MyRoute
postEdit =
  PostEdit <$> lit "posts" *> int <* lit "edit"

Gives me this error message

Compiling Routes
Error found:
in module Routes
at src/Routes.purs line 63, column 3 - line 65, column 1

  Could not match type
        
    Unit
        
  with type
       
    Int
       

while trying to match type t1 Unit
  with type t0 Int
while checking that expression lit "posts"
  has type t0 Int
in value declaration postEdit

where t0 is an unknown type
      t1 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.


* ERROR: Subcommand terminated with exit code 1

Here is my environment:

Pulp version 11.0.2
purs version 0.11.6 using /Users/brodeuralexis/.nvm/versions/node/v8.4.0/bin/purs

[natefaubion]

These examples likely need parens:

postEdit :: Match MyRoute
postEdit =
  PostEdit <$> (lit "posts" *> int <* lit "edit")

[brodeuralexis]

postEdit works with the parens, but postBrowse does not:

postBrowse :: Match MyRoute
postBrowse =
  PostBrowse <$> (lit "posts" *> str <*> str)

Error found:
in module Routes
at src/Routes.purs line 63, column 19 - line 63, column 45

  Could not match type
          
    String
          
  with type
            
    t1 -> t2
            

while trying to match type t3 t4
  with type t0 (t1 -> t2)
while checking that expression (applySecond (lit "posts")) str
  has type t0 (t1 -> t2)
in value declaration postBrowse

where t0 is an unknown type
      t2 is an unknown type
      t1 is an unknown type
      t3 is an unknown type
      t4 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.


* ERROR: Subcommand terminated with exit code 1

[natefaubion]

postBrowse :: Match MyRoute
postBrowse =
  PostBrowse <$> (lit "posts" *> str) <*> str

[brodeuralexis]

I wish this pull request was identified by the ID 107

[jeremyjh]

Should this be closed? The guide is still incorrect.