Change History for Holes

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