purescript-1

Purescript supports typed holes, which users can utilize to get type-correct replacements for the typed holes. When users asked for possible values in Type Holes, the suggested values where (sometimes) duplicated

ghc-version: 9.2.4

hasbugs-version: 1.0.0

license: Custom Copyleft

build-framework: cabal

Repository

Categories:

desugaring-issue integration

Test Frameworks:

hspec hunit quickcheck

GitHub Artifacts :

issues/4373

pull/4374

Faults @3d6b8bf7

[
  {
    "endline": 384,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 383
  },
  {
    "endline": 386,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 386
  },
  {
    "endline": 395,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 394
  },
  {
    "endline": 406,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 404
  },
  {
    "endline": 410,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 410
  },
  {
    "endline": 415,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 415
  }
]

Fixes @ea118aec

[
  {
    "endline": 384,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 383
  },
  {
    "endline": 386,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 386
  },
  {
    "endline": 395,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 394
  },
  {
    "endline": 406,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 404
  },
  {
    "endline": 410,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 410
  },
  {
    "endline": 415,
    "file": "./src/Language/PureScript/Sugar/CaseDeclarations.hs",
    "function": "makeCaseDeclaration",
    "module": "Language.PureScript.Sugar.CaseDeclarations",
    "startline": 415
  }
]