Timeline


and

Feb 16, 2012:

2:31 PM Development/CodeConventions edited by benl
(diff)
2:29 PM Development/CodeConventions edited by benl
(diff)
2:18 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:16 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:14 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:10 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:02 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:01 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:54 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:54 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:53 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:51 PM Tutorial created by benl
1:51 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:42 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:41 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:33 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:13 PM Language/Core edited by benl
(diff)
1:13 PM Language/Core edited by benl
(diff)
1:13 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:09 PM Tutorial/Eval/Expressions created by benl
1:08 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:06 PM WikiStart edited by benl
(diff)
1:04 PM Alpha/Commentary edited by benl
(diff)
1:00 PM WikiStart edited by benl
(diff)
12:58 PM WikiStart edited by benl
(diff)
12:57 PM WikiStart edited by benl
(diff)
12:56 PM Alpha/Language edited by benl
(diff)
12:54 PM Language/Core/Expressions edited by benl
(diff)
12:53 PM Language/Core/Expressions edited by benl
(diff)
12:51 PM Language/Core/Witnesses edited by benl
(diff)
12:41 PM Language/Core/Variables edited by benl
(diff)
12:41 PM Language/Core/Variables edited by benl
(diff)
12:40 PM Language/Core/Universes edited by benl
(diff)
12:39 PM Language/Core/Universes edited by benl
(diff)

Feb 15, 2012:

1:41 PM Ticket #238 (Check for witness conflicts in initial expresson) closed by benl
fixed
1:41 PM Ticket #235 (Handle casts in head position.) closed by benl
fixed

Feb 11, 2012:

7:21 AM Ticket #11 (Resurrect Core.Inline) closed by benl
wontfix: This is going into the new core language
7:18 AM Ticket #237 (Handle spill components of sums in type equivalence checker.) closed by benl
fixed

Feb 10, 2012:

12:22 AM Ticket #240 (Treat parameter and return types of functions as immaterial.) closed by benl
fixed

Feb 5, 2012:

5:08 AM Language/Core/Expressions edited by benl
(diff)
5:04 AM Language/Core/Witnesses edited by benl
Remove unimplemented distinct constructor (diff)
5:03 AM Language/Core/Variables edited by benl
Remove distinct as it's unimplemented (diff)
4:02 AM Ticket #242 (Better error message when constructors are used at the wrong level) created by benl
Here, () is a data constructor but we've treated it as a type …

Jan 27, 2012:

12:15 PM Ticket #241 (Provide source locations in core type error messages) created by benl
We have these for parse error messages, but don't push the information …
12:12 PM Ticket #239 (Maintain proper source positions) closed by benl
fixed
7:29 AM WikiStart edited by benl
(diff)
6:40 AM Development/CodeConventions edited by benl
(diff)
6:17 AM Ticket #240 (Treat parameter and return types of functions as immaterial.) created by benl
We don't need a full materiality analysis yet, but doing this for …
5:41 AM Language/Ponies edited by benl
(diff)
12:25 AM WikiStart edited by benl
(diff)
12:25 AM WikiStart edited by benl
(diff)
12:16 AM Ticket #23 (Mask effects on fresh data) closed by benl
invalid: pony removal
12:16 AM Language/Ponies edited by benl
(diff)
12:13 AM WikiStart edited by benl
(diff)
12:11 AM Ticket #22 (Mask mutability constraints on fresh data) closed by benl
invalid: pony removal
12:10 AM Language/Ponies edited by benl
(diff)
12:09 AM Language/Ponies edited by benl
(diff)
12:04 AM Language/Ponies edited by benl
(diff)
12:04 AM Language/Ponies edited by benl
(diff)
12:01 AM Language/Ponies edited by benl
(diff)

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
Note: See TracTimeline for information about the timeline view.