Change History for Holes

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