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:

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:
Created 4 years ago
Comments:13 (6 by maintainers)

Top GitHub Comments

1reaction

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).

0reactions

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.

Top 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...

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 ...

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.

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.

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...