Search:
Login
Help/Guide
About Trac
Preferences
Register
Forgot your password?
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Blog
Context Navigation
Back to TypeFunctions
GHC Trac Home
GHC Home
Joining In
Report a bug
Newcomers info
Mailing Lists & IRC
The GHC Team
Documentation
GHC Status Info
Building Guide
Working conventions
Commentary
Debugging
Infrastructure
View Tickets
My Tickets
Tickets I Created
By Milestone
By OS
By Architecture
Patches for review
Create Ticket
New Bug
New Task
New Feature Req
Wiki
Title Index
Recent Changes
Wiki Notes
Change History for
TypeFunctions
Version
Date
Author
Comment
91
14 months
simonpj
90
5 years
goldfire
89
9 years
simonpj
88
9 years
chak
87
9 years
chak
86
10 years
chak
85
10 years
chak
84
10 years
chak
83
10 years
chak
82
10 years
chak
81
11 years
chak
80
11 years
chak
79
11 years
chak
78
11 years
chak
77
11 years
chak
76
11 years
chak
75
11 years
chak
74
11 years
simonpj
73
11 years
simonpj
72
11 years
simonpj
71
11 years
simonpj
70
11 years
simonpj
69
11 years
simonpj
68
11 years
chak
67
11 years
chak
66
11 years
chak
65
11 years
chak
64
11 years
chak
63
11 years
chak
62
11 years
chak
61
11 years
chak
60
12 years
chak
59
12 years
chak
58
12 years
chak
57
12 years
chak
56
12 years
chak
55
12 years
chak
54
12 years
chak
53
12 years
chak
52
12 years
chak
51
12 years
chak
50
12 years
chak
49
12 years
chak
48
12 years
chak
47
12 years
chak
46
12 years
chak
45
12 years
chak
44
12 years
chak
43
12 years
chak
42
12 years
chak
Initial info about kind checking
41
12 years
chak
Kinds of indexed types are determined by the kind signature alone
40
12 years
chak
Type checking indexed types (III)
39
12 years
chak
Type checking indexed types (II)
38
12 years
chak
Type checking indexed types (I)
37
12 years
chak
Align implementation description with actual code plus add terminology …
36
12 years
chak
35
12 years
chak
34
12 years
chak
33
12 years
chak
32
12 years
chak
31
12 years
chak
30
12 years
chak
29
12 years
chak
28
12 years
chak
27
12 years
chak
26
12 years
chak
new formation rules
25
12 years
chak
Relaxing restrictions
24
12 years
chak
23
12 years
chak
22
12 years
chak
21
12 years
chak
20
12 years
chak
19
12 years
chak
18
12 years
chak
17
12 years
chak
16
12 years
chak
15
12 years
chak
14
12 years
chak
13
12 years
chak
12
12 years
chak
11
12 years
chak
10
12 years
chak
9
12 years
chak
8
12 years
chak
7
12 years
chak
type checking class declarations with assoc data types
6
12 years
chak
renaming an extraction of assoc data types
5
12 years
chak
4
12 years
chak
3
12 years
chak
2
12 years
chak
specification and restrictions
1
12 years
chak
aims