Change History for Holes

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