Issues · Glasgow Haskell Compiler / GHC · GitLab

Typed holes shouldn't cause linearity errors

#18491 · opened Jul 23, 2020 by Arnaud Spiwack LinearTypes bug typed holes
- 4
updated Jul 23, 2020
Valid hole fits process is too slow to be enabled by default

#16875 · opened Jun 26, 2019 by Matthew Pickering bug typed holes valid hole fits
- 2
- 14
updated Mar 08, 2020
Some tests for valid hole fits are missing

#16781 · opened Jun 08, 2019 by Krzysztof Gogolewski task 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 Pnormal Trac import bug typed holes valid hole fits 5
- 8
updated Jul 08, 2019
Valid hole fits and GADT type variable names

#15677 · opened Sep 26, 2018 by Ryan Scott 9.0.1 GADTs Pnormal Trac import bug error messages typed holes valid hole fits 5
- 5
updated Jan 23, 2020
Typed hole subtitution search fails in the REPL

#14858 · opened Feb 26, 2018 by paf31 8.4.1 Pnormal Trac import bug typechecker typed holes 5
- 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 Pnormal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes 5
- 17
updated Jan 23, 2020
"Panic: no skolem info" with StaticPointers and typed hole

#13499 · opened Mar 30, 2017 by Otini Pnormal StaticPointers Trac import bug compiler crash typed holes 5
- 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 Pnormal Trac import feature request typechecker typed holes 5
- 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 Pnormal Trac import bug error messages partial type sigs typed holes 5
- 5
updated Jul 07, 2019
Holes with other constraints

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