Issues · Glasgow Haskell Compiler / GHC · GitLab

Scoped Typed Holes

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

#18877 · opened Oct 22, 2020 by parsonsmatt Pnormal Tbug typed holes
- 0
updated Nov 08, 2020
Typed holes shouldn't cause linearity errors

#18491 · opened Jul 23, 2020 by Arnaud Spiwack LinearTypes Tbug typed holes
- 1
- 5
updated Sep 26, 2020
Valid hole fits process is too slow to be enabled by default

#16875 · opened Jun 26, 2019 by Matthew Pickering Tbug typed holes valid hole fits
- 2
- 19
updated Feb 25, 2021
Some tests for valid hole fits are missing

#16781 · opened 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 · opened 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 · opened Sep 26, 2018 by Ryan Scott 9.2.1 5 GADTs Pnormal Tbug Trac import error messages typed holes valid hole fits
- 5
updated Jan 25, 2021
Typed hole subtitution search fails in the REPL

#14858 · opened Feb 26, 2018 by paf31 8.4.1 5 Pnormal Tbug Trac import typechecker typed holes
- 1
updated Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeFamilies TypeInType compiler crash partial type sigs typechecker typed holes
- 17
updated Jan 23, 2020
"Panic: no skolem info" with StaticPointers and typed hole

#13499 · opened Mar 30, 2017 by Otini 5 Pnormal StaticPointers Tbug Trac import compiler crash typed holes
- 8
updated Jul 07, 2019
Give strong preference to type variable names in scope when reporting hole contexts

#11186 · opened 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 · opened 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 · opened Mar 02, 2012 by xnyhps 8.0.1 5 Pnormal Tfeature request Trac import error messages typechecker typed holes
- 29
updated Jul 07, 2019