Skip to content

Instantly share code, notes, and snippets.

@vilterp
Last active August 29, 2015 14:24
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 vilterp/a74cf622ee08c43e76ce to your computer and use it in GitHub Desktop.
Save vilterp/a74cf622ee08c43e76ce to your computer and use it in GitHub Desktop.

To get this, $ elm-make frontend/Debugger.elm in this code tree.

The type annotation for `start` does not match its definition.

92|>        App model error action
93|>     -> Signal action
94|>     -> (Signal Html, Signal (T.Task error ()))

Could not unify user provided type variable `error`. The most likely cases are:

  1. The type you wrote down is too general. It says any type can go through
     but in fact only a certain type can.
  2. A type variable is probably being shared between two type annotations.
     They are treated as different things in the current implementation, so
     Try commenting out some type annotations and see what happens.

As I infer the types of values flowing through your program, I see a conflict
between these two types:

    error

    error

I feel like this doesn't make sense!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment