Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Type checker false-positive: a let-in function w/ type annotation & type vars

See original GitHub issue


Running the elm compiler: image

Running elm make:

romario ~/R/g/elm-frontend *develop λ elm make src/elm/Main.elm --output=elm.js
Success! Compiled 1 module.

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Comments:13 (6 by maintainers)

github_iconTop GitHub Comments

klazukacommented, May 29, 2019

@romariolopezc thanks!

@ajalt looks like a bug in type inference, both in version 3.1.1 and 3.1.2 (which was just released this morning).

ajaltcommented, May 29, 2019

Thanks for the report and the reproduction. This is a duplicate of #402. I’ll post an update on that issue.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Type hints cheat sheet - mypy 0.991 documentation
This document is a quick cheat sheet showing how to use type annotations for various common types in Python. Variables#. Technically many of...
Read more >
Leptin receptor deficiency: a systematic literature review and ...
Objective Leptin receptor (LepR) deficiency is an autosomal-recessive endocrine disorder causing early-onset severe obesity, hyperphagia and pituitary ...
Read more >
Understanding type annotation in Python
In this extensive post with specific examples, learn how to use Python type annotation to your advantage using the mypy library.
Read more >
Potential parameters for the detection of hGH doping
By using the suggested discriminant function the data sets of hGH and placebo-treated athletes could be separated without false positive results.
Read more >
Leptin alters energy intake and fat mass but not ...
Leptin treatment is effective to reduce body weight in animal models, ... and type of leptin deficiency (CLD, GL, and PL) and leptin...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Post

No results found

github_iconTop Related Hashnode Post

No results found