Skip to content

Fix typo#8

Closed
jfmengels wants to merge 1 commit into
mdgriffith:mainfrom
jfmengels:patch-1
Closed

Fix typo#8
jfmengels wants to merge 1 commit into
mdgriffith:mainfrom
jfmengels:patch-1

Conversation

@jfmengels
Copy link
Copy Markdown
Contributor

No description provided.

@mdgriffith
Copy link
Copy Markdown
Owner

Ha, you fixed this in a followup PR.

@mdgriffith mdgriffith closed this Aug 13, 2022
@jfmengels jfmengels deleted the patch-1 branch August 13, 2022 20:02
dillonkearns added a commit to dillonkearns/elm-codegen that referenced this pull request Mar 31, 2026
Found 1 new class of bugs (finding mdgriffith#8):
- 19 missing type annotations across 6 different API patterns
  (Let.unpack, Let.fn, unwrap, Declare.value, Elm.get through alias)
- elm-codegen's type inference silently fails for these patterns,
  producing declarations without type annotations

Coverage: 62.5% -> 63.2%

Total bugs found: 8
  mdgriffith#1 Number type variable collision (FIXED)
  mdgriffith#2 Pipe + lambda parens (FIXED)
  mdgriffith#3 Operator multi-line indentation
  mdgriffith#4 Comparable type variable leak
  mdgriffith#5 functionReduced/unwrapper wrong type annotations
  mdgriffith#6 aliasAs wrong type for alias variable
  mdgriffith#7 pipeLeft lambda not parenthesized
  mdgriffith#8 Missing type annotations for multiple APIs

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
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.

2 participants