Pepe Iborra 8f0a4f842c Refinement holes (#748) ... * Refinement holes * Set more GHC options and use indentation for parsing * Add an option to customize the typed holes settings Refinement hole fits are very cool, but currently too slow to enable at deeper levels. It should eventually be user configurable. * GHC Compatibility * Compat. with 8.4		2020-09-06 02:13:17 +05:30
..
IDE	Refinement holes (#748)	2020-09-06 02:13:17 +05:30