Change History for Records/OverloadedRecordFields/Implementation

Version Date Author Comment
90 2 years adamgundry
89 2 years adamgundry
88 2 years adamgundry move unused imports discussion to DRF page
87 2 years adamgundry move DRF notes to separate page
86 2 years adamgundry drop Allow from extension name
85 2 years adamgundry updates following post-review refactoring
84 2 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 3 years adamgundry Update current status and outstanding issues
75 3 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 4 years adamgundry update to latest design
70 4 years adamgundry
69 4 years adamgundry
68 4 years adamgundry
67 4 years adamgundry latest data representation
66 4 years adamgundry repositories
65 4 years adamgundry
64 4 years adamgundry
63 4 years adamgundry unused bindings
62 4 years adamgundry
61 4 years adamgundry
60 4 years adamgundry
59 4 years adamgundry data families
58 4 years adamgundry deprecated fields and fixity declarations
57 4 years adamgundry data families
56 4 years adamgundry
55 4 years adamgundry
54 4 years adamgundry
53 4 years adamgundry
52 4 years adamgundry names
51 4 years adamgundry
50 4 years adamgundry
49 4 years adamgundry
48 4 years adamgundry new instance generation story
47 4 years adamgundry much to do
46 4 years simonpj
45 4 years simonpj
44 4 years adamgundry new FieldLabel story / contemplate -XOverloadedRecordFieldInstances
43 4 years adamgundry new story about automatic instance generation
42 4 years adamgundry instance generation
41 4 years adamgundry deprecated fields
40 4 years adamgundry data families with duplicated fields
39 4 years adamgundry bug fixing
38 4 years adamgundry tests
37 4 years adamgundry GADT record updates sorted
36 4 years adamgundry implemented warning for qualified fields
35 4 years adamgundry qualified names
34 4 years adamgundry unused imports
33 4 years adamgundry constraint solver bug
32 4 years adamgundry data family trouble
31 4 years adamgundry
30 4 years adamgundry
29 4 years adamgundry to do
28 4 years adamgundry implemented syntactic sugar
27 4 years adamgundry todos and queries
26 4 years adamgundry
25 4 years adamgundry type-changing update
24 4 years adamgundry tests
23 4 years adamgundry GADT record updates make my brain hurt
22 4 years adamgundry future considerations
21 4 years adamgundry GADT record updates
20 4 years adamgundry simple update is now supported
19 4 years adamgundry worrying about dfunids
18 4 years adamgundry disambiguating record updates
17 4 years adamgundry test notes
16 4 years adamgundry dialogue
15 4 years adamgundry unused imports
14 4 years adamgundry Testsuite changes
13 4 years simonpj
12 4 years simonpj
11 4 years adamgundry
10 4 years adamgundry
9 4 years adamgundry
8 4 years adamgundry known bugs and todos
7 4 years adamgundry
6 4 years adamgundry
5 4 years adamgundry
4 4 years adamgundry
3 4 years adamgundry
2 4 years adamgundry
1 4 years adamgundry