Timeline


and

Jan 26, 2012:

11:58 PM Language/Ponies edited by benl
(diff)
11:57 PM Language/Ponies edited by benl
(diff)
11:56 PM Language/Ponies created by benl
11:51 PM Alpha/Language edited by benl
(diff)
12:18 PM Ticket #239 (Maintain proper source positions) created by benl
In core language lexer
12:14 PM Ticket #238 (Check for witness conflicts in initial expresson) created by benl
Like this: f (const R1#) (mutable R1#) These are checked in a …
12:12 PM Ticket #236 (Lex )> symbol separately to avoid conflict with witness args.) closed by benl
fixed
10:26 AM Ticket #24 (Allow resumption of tests in bin/war test driver) closed by benl
invalid: pony removal
10:18 AM Ticket #237 (Handle spill components of sums in type equivalence checker.) created by benl
See note in Type.Equiv
10:16 AM Ticket #236 (Lex )> symbol separately to avoid conflict with witness args.) created by benl
f < ... (const [R1#])> disaster
10:11 AM Ticket #235 (Handle casts in head position.) created by benl
The interpreter needs to handle the case when a 'forget' cast wraps …
9:48 AM Ticket #49 (Add monadic do expressions.) closed by benl
invalid: pony removal
9:47 AM Ticket #195 (Resurrect churn test program) closed by benl
invalid: pony removal
9:46 AM Ticket #157 (Do a more fine-grained dangerous variables check) closed by benl
wontfix: Dangerous variables are being removed
9:44 AM Ticket #89 (Test out effect constructors with interesting kinds) closed by benl
invalid
9:42 AM Ticket #234 (Add type level natural numbers) closed by benl
invalid: This would be nice to have, but I'm removing ponies from the ticked db.
9:41 AM Ticket #47 (Package DDC into Cabal, and streamline install process.) closed by benl
fixed
9:40 AM Ticket #29 (Check well-formedness of bound witnesses in letregion) closed by benl
fixed: This is fixed in the new core language
9:39 AM Ticket #221 (Expand support for arrays of unboxed values) closed by benl
invalid
9:39 AM Ticket #8 (Add a full set of unboxed casting operators.) closed by benl
fixed
9:38 AM Ticket #14 (Implement full laziness transform) closed by benl
invalid
9:38 AM Ticket #28 (When defining projections, auto-open the other fns in the projection) closed by benl
wontfix
9:37 AM Ticket #35 (Allow embedded mutually recursive definitions.) closed by benl
fixed
9:36 AM Ticket #27 (Rewrite primitive functions from RTS in Disciple) closed by benl
invalid: Closing this because it's too general. We've already done it for …
9:35 AM Ticket #25 (Investigate support for polymorphic recursion) closed by benl
invalid
9:35 AM Ticket #12 (Revisit exception mechanism) closed by benl
invalid
9:32 AM Ticket #63 (Mask closure terms which are constant) closed by benl
fixed: The new core language masks closure terms with the 'forget' cast

Jan 23, 2012:

6:33 AM Language/Core/Expressions edited by benl
(diff)
6:33 AM Language/Core/Expressions edited by benl
(diff)
6:32 AM Language/Core/Expressions edited by benl
(diff)
4:59 AM Related edited by benl
(diff)

Jan 19, 2012:

6:12 AM WikiStart edited by benl
(diff)
5:45 AM Related edited by benl
(diff)
5:39 AM Related edited by benl
(diff)
5:13 AM Related edited by benl
(diff)
5:09 AM Related edited by benl
(diff)
5:05 AM Related edited by benl
(diff)
5:03 AM Related edited by benl
(diff)
4:56 AM Related edited by benl
(diff)
4:52 AM Related edited by benl
(diff)
4:51 AM Related edited by benl
(diff)
4:50 AM Related edited by benl
(diff)
4:28 AM Related edited by benl
(diff)
4:28 AM Related edited by benl
(diff)
4:27 AM Related edited by benl
(diff)
4:24 AM Related edited by benl
(diff)
4:19 AM WikiStart edited by benl
(diff)
4:18 AM Related edited by benl
(diff)
4:18 AM Related created by benl

Jan 11, 2012:

10:08 AM WikiStart edited by erikd
(diff)

Jan 7, 2012:

12:15 PM Alpha/Language/Source/Variables edited by amosrobinson
quirky table syntax with '!'s (diff)

Jan 3, 2012:

6:43 AM Language/Core/Expressions edited by benl
(diff)
6:39 AM Language/Core/Expressions edited by benl
(diff)
6:37 AM Language/Core/Expressions edited by benl
(diff)
6:36 AM Language/Core/Expressions edited by benl
(diff)
6:35 AM Language/Core/Expressions edited by benl
(diff)
6:34 AM Language/Core/Expressions edited by benl
(diff)
6:32 AM Language/Core/Expressions edited by benl
(diff)
6:32 AM Language/Core/Expressions edited by benl
(diff)
6:23 AM Language/Core/Expressions edited by benl
(diff)
6:22 AM Language/Core/Expressions edited by benl
(diff)
6:12 AM Language/Core/Witnesses edited by benl
(diff)
6:12 AM Language/Core/Witnesses edited by benl
(diff)
6:11 AM Language/Core/Expressions edited by benl
(diff)
6:11 AM Language/Core/Expressions edited by benl
(diff)
6:10 AM Language/Core/Types edited by benl
(diff)
3:37 AM Language/Core/Types edited by benl
(diff)

Jan 2, 2012:

1:37 PM Language/Core/Expressions edited by benl
(diff)
1:36 PM Language/Core/Expressions edited by benl
(diff)
1:35 PM Language/Core/Expressions edited by benl
(diff)
1:35 PM Language/Core/Witnesses edited by benl
(diff)
1:34 PM Language/Core/Expressions edited by benl
(diff)
1:31 PM Language/Core/Expressions edited by benl
(diff)
1:31 PM Language/Core/Expressions edited by benl
(diff)
1:19 PM Language/Core/Witnesses edited by benl
(diff)
1:16 PM Language/Core/Witnesses edited by benl
(diff)
1:15 PM Language/Core/Witnesses edited by benl
(diff)
1:13 PM Language/Core/Types edited by benl
(diff)
1:13 PM Language/Core/Types edited by benl
(diff)
1:11 PM Language/Core/Witnesses edited by benl
(diff)
1:01 PM Language/Core/Types edited by benl
(diff)
1:00 PM Language/Core/Types edited by benl
(diff)
1:00 PM Language/Core/Types edited by benl
(diff)
12:59 PM Language/Core/Types edited by benl
(diff)
12:59 PM Language/Core/Types edited by benl
(diff)
12:58 PM Language/Core/Types edited by benl
(diff)

Dec 30, 2011:

5:57 AM Language/Core/Witnesses edited by benl
(diff)
5:56 AM Language/Core/Witnesses edited by benl
(diff)
5:56 AM Language/Core/Witnesses edited by benl
(diff)
5:56 AM Language/Core/Witnesses edited by benl
(diff)

Dec 28, 2011:

11:41 AM Language/Core/Expressions edited by benl
(diff)
11:01 AM Alpha/Language edited by benl
(diff)
11:00 AM Alpha/Language edited by benl
(diff)
10:57 AM WikiStart edited by benl
(diff)
10:56 AM WikiStart edited by benl
(diff)
10:55 AM Alpha/Language edited by benl
(diff)
10:50 AM Alpha/Language edited by benl
(diff)
10:42 AM WikiStart edited by benl
(diff)
10:41 AM Alpha/Language edited by benl
(diff)
10:39 AM Alpha/Language edited by benl
(diff)
10:37 AM Language/Core/Witnesses edited by benl
(diff)
10:32 AM Language/Core/Types edited by benl
(diff)
10:31 AM Language/Core/Types edited by benl
(diff)
10:22 AM Language/Core/Universes edited by benl
(diff)
10:22 AM Language/Core/Universes edited by benl
(diff)
10:20 AM Language/Core/Variables edited by benl
(diff)
10:06 AM Language/Core/Universes edited by benl
(diff)
9:57 AM Language/Core/Universes edited by benl
(diff)
9:56 AM Alpha/Language edited by benl
(diff)
9:52 AM Language/Core edited by benl
(diff)
9:51 AM Alpha/Language/Source edited by benl
(diff)
9:51 AM Alpha/Language/Source edited by benl
(diff)
9:50 AM Alpha/Language/Source created by benl
9:50 AM Alpha/Language edited by benl
(diff)
9:48 AM Alpha/Language edited by benl
(diff)
9:48 AM Alpha/Language/Source/Variables created by benl
9:46 AM Language/Core edited by benl
(diff)
9:46 AM Language/Core/Expressions created by benl
9:45 AM Language/Core/Witnesses created by benl
9:43 AM Language/Core edited by benl
(diff)
9:43 AM Language/Core/Types created by benl
9:41 AM Language/Core edited by benl
(diff)
9:41 AM Language/Core/Variables created by benl
9:39 AM Language/Core edited by benl
(diff)
9:38 AM Language/Core/Universes edited by benl
(diff)
9:38 AM Language/Core/Universes created by benl
9:36 AM Language/Core edited by benl
(diff)
7:23 AM Language/Core edited by benl
(diff)
7:23 AM Language/Core edited by benl
(diff)
7:22 AM Language/Core edited by benl
(diff)
7:22 AM Language/Core edited by benl
(diff)
7:12 AM Language/Core edited by benl
(diff)
7:10 AM Language/Core edited by benl
(diff)
7:10 AM Language/Core edited by benl
(diff)
6:20 AM Language/Core edited by benl
(diff)
6:03 AM Language/Core edited by benl
(diff)
5:30 AM Language/Core edited by benl
(diff)
4:37 AM Language/Core edited by benl
(diff)
4:22 AM Language/Core edited by benl
(diff)
4:21 AM Language/Core edited by benl
(diff)
4:11 AM Language/Core edited by benl
(diff)
3:38 AM Language/Core edited by benl
(diff)
3:34 AM Language/Core edited by benl
(diff)
2:33 AM Language/Core created by benl
2:32 AM WikiStart edited by benl
(diff)
2:30 AM WikiStart edited by benl
(diff)
Note: See TracTimeline for information about the timeline view.