Change History for Holes

Version Date Author Comment
46 18 months simonpj
45 7 years xnyhps Added documentation on how named unbound identifier holes currently work
44 7 years heisenbug fix a reference
43 7 years vilhelm_s How should holes interact with with GHC API?
42 7 years holzensp
41 7 years spl Expected type
40 7 years spl Respond to SLPJ
39 7 years simonpj
38 7 years spl Update ambiguity section
37 7 years spl Respond to SLPJ on ambiguously typed holes
36 7 years spl Respond to SLPJ on runtime error
35 7 years spl Minor typo
34 7 years spl Revise description of variations in response to SLPJ
33 7 years spl Careless phrasing
32 7 years simonpj
31 7 years simonpj
30 7 years simonpj
29 7 years spl Link to implementation issues on GitHub
28 7 years spl Minor changes
27 7 years spl Include type of f
26 7 years spl Clarification on ambiguous types and monomorphism restriction
25 7 years spl Link to repository
24 7 years spl Minor fix + clarification
23 7 years xnyhps
22 7 years spl Mention ticket #5910
21 7 years spl Proposal section revised
20 7 years spl Remove now-unused section
19 7 years spl Implicit parameters
18 7 years spl Deliberate type errors
17 7 years spl Deferring type errors
16 7 years spl Introduction
15 7 years spl Minor clarification
14 7 years simonpj
13 7 years simonpj
12 8 years nomeata typo
11 8 years nomeata Are holes in types more powerful and less intrusive?
10 8 years spl More intro
9 8 years spl Add forall
8 8 years spl Syntactic sugar for {_ undefined _}
7 8 years spl
6 8 years spl Small intro
5 8 years xnyhps
4 8 years xnyhps
3 8 years xnyhps More about ranges, made examples consistent
2 8 years xnyhps Used a bit better example, updated info on implicit parameters
1 8 years xnyhps Still very much a work in progress: proposal of bringing the holes of …