Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add example of Float / Int confusion when type signature is present #18

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

arsatiki
Copy link

@arsatiki arsatiki commented Jul 1, 2015

In this example, Elm has a conflict between Int and Float. However,
the type signature contains an Int and a Float. Based on the
error message below, I can not understand what Elm thinks
is the definition and which Float or Int is incorrect.

The type annotation for ngon2 does not match its definition.

3| ngon2 : Float -> Int -> Shape
As I infer the type of values flowing through your program, I see a conflict
between these two types:

Int

Float

In this example, Elm has a conflict between Int and Float. However,
the type signature contains an Int and a Float. Based on the
error message below, I can not understand what Elm thinks
is the definition and which Float or Int is incorrect.

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

3| ngon2 : Float -> Int -> Shape
As I infer the type of values flowing through your program, I see a conflict
between these two types:

    Int

    Float
@arsatiki
Copy link
Author

arsatiki commented Jul 1, 2015

I didn't put the file in a subdirectory, because I couldn't think of an appropriate one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant