Change History for Records/OverloadedRecordFields/Implementation

Version Date Author Comment
90 3 years adamgundry
89 3 years adamgundry
88 3 years adamgundry move unused imports discussion to DRF page
87 3 years adamgundry move DRF notes to separate page
86 3 years adamgundry drop Allow from extension name
85 3 years adamgundry updates following post-review refactoring
84 3 years adamgundry alpha-convert extension names, describe OverloadedLabels implementation
83 3 years adamgundry use nicer link to blog post
82 3 years simonpj
81 3 years adamgundry mention Phab:D761
80 3 years adamgundry TODO re HsRecField
79 3 years adamgundry mangling notes
78 3 years adamgundry finish the rewrite
77 3 years adamgundry part way through a major rewrite to reflect the planned redesign
76 4 years adamgundry Update current status and outstanding issues
75 4 years adamgundry ORF needs to enable DataKinds
74 4 years adamgundry Update introduction
73 4 years adamgundry Extensions enabled by OverloadedRecordFields
72 4 years adamgundry Back to three parameters
71 5 years adamgundry update to latest design
70 5 years adamgundry
69 5 years adamgundry
68 5 years adamgundry
67 5 years adamgundry latest data representation
66 5 years adamgundry repositories
65 5 years adamgundry
64 5 years adamgundry
63 5 years adamgundry unused bindings
62 5 years adamgundry
61 5 years adamgundry
60 5 years adamgundry
59 5 years adamgundry data families
58 5 years adamgundry deprecated fields and fixity declarations
57 5 years adamgundry data families
56 5 years adamgundry
55 5 years adamgundry
54 5 years adamgundry
53 5 years adamgundry
52 5 years adamgundry names
51 5 years adamgundry
50 5 years adamgundry
49 5 years adamgundry
48 5 years adamgundry new instance generation story
47 5 years adamgundry much to do
46 5 years simonpj
45 5 years simonpj
44 5 years adamgundry new FieldLabel story / contemplate -XOverloadedRecordFieldInstances
43 5 years adamgundry new story about automatic instance generation
42 5 years adamgundry instance generation
41 5 years adamgundry deprecated fields
40 5 years adamgundry data families with duplicated fields
39 5 years adamgundry bug fixing
38 5 years adamgundry tests
37 5 years adamgundry GADT record updates sorted
36 5 years adamgundry implemented warning for qualified fields
35 5 years adamgundry qualified names
34 5 years adamgundry unused imports
33 5 years adamgundry constraint solver bug
32 5 years adamgundry data family trouble
31 5 years adamgundry
30 5 years adamgundry
29 5 years adamgundry to do
28 5 years adamgundry implemented syntactic sugar
27 5 years adamgundry todos and queries
26 5 years adamgundry
25 5 years adamgundry type-changing update
24 5 years adamgundry tests
23 5 years adamgundry GADT record updates make my brain hurt
22 5 years adamgundry future considerations
21 5 years adamgundry GADT record updates
20 5 years adamgundry simple update is now supported
19 5 years adamgundry worrying about dfunids
18 5 years adamgundry disambiguating record updates
17 5 years adamgundry test notes
16 5 years adamgundry dialogue
15 5 years adamgundry unused imports
14 5 years adamgundry Testsuite changes
13 5 years simonpj
12 5 years simonpj
11 5 years adamgundry
10 5 years adamgundry
9 5 years adamgundry
8 5 years adamgundry known bugs and todos
7 5 years adamgundry
6 5 years adamgundry
5 5 years adamgundry
4 5 years adamgundry
3 5 years adamgundry
2 5 years adamgundry
1 5 years adamgundry