Issues · Glasgow Haskell Compiler / GHC · GitLab

Multiple occurrence of the same out-of-scope identifier should be commoned up

#20860 · created Dec 23, 2021 by Richard Eisenberg Pnormal Tfeature request typed holes
- 1
- 4
updated Jan 03, 2022
Scoped Typed Holes

#18878 · created Oct 22, 2020 by parsonsmatt Tfeature request typed holes
- 2
updated Nov 09, 2020
Premature specialization of numeric literals with Typed Holes

#18877 · created Oct 22, 2020 by parsonsmatt Pnormal Tbug typed holes
- 0
updated Nov 08, 2020
Some tests for valid hole fits are missing

#16781 · created Jun 08, 2019 by Krzysztof Gogolewski Ttask testsuite typed holes valid hole fits
- 0
updated Jul 08, 2019
Typed holes inferring a more polymorphic type

#15697 · created Oct 02, 2018 by sreenidhi 8.6.1 5 Pnormal Tbug Trac import typed holes valid hole fits
- 8
updated Jul 08, 2019
Valid hole fits and GADT type variable names

#15677 · created Sep 26, 2018 by Ryan Scott ⊥ 5 GADTs Pnormal Tbug Trac import error messages typed holes valid hole fits
- 6
updated Sep 07, 2021
Typed hole subtitution search fails in the REPL

#14858 · created Feb 26, 2018 by paf31 8.4.1 5 Pnormal Tbug Trac import typechecker typed holes
- 1
updated Jul 07, 2019
Give strong preference to type variable names in scope when reporting hole contexts

#11186 · created Dec 09, 2015 by David Feuer 5 Pnormal Tfeature request Trac import typechecker typed holes
- 8
updated Jul 07, 2019
Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.

#10875 · created Sep 13, 2015 by holzensp 5 Pnormal Tbug Trac import error messages partial type sigs typed holes
- 5
updated Jul 07, 2019
Holes with other constraints

#5910 · created Mar 02, 2012 by xnyhps 8.0.1 5 Pnormal Tfeature request Trac import error messages typechecker typed holes
- 29
updated Jul 07, 2019