Timeline

View changes from
and days back.

Ticket changes Milestones Wiki changes

09/20/10:

04:55 WikiStart edited by benl

(diff)

04:45 WikiStart edited by benl

(diff)

04:44 WikiStart edited by benl

(diff)

04:37 WikiStart edited by benl

(diff)

04:36 WikiStart edited by benl

(diff)

04:34 WikiStart edited by benl

(diff)

04:25 WikiStart edited by benl

(diff)

04:17 WikiStart edited by benl

(diff)

03:49 WikiStart edited by benl

(diff)

03:30 WikiStart edited by benl

(diff)

03:26 WikiStart edited by benl

(diff)

03:26 WikiStart edited by benl

(diff)

09/19/10:

10:01 Ticket #82 (Shape crusher isn't preserving effect and closure terms) closed by benl

fixed

09:37 Ticket #189 (Check for missing quantifiers in type class definitions.) created by benl

Check for missing quantifiers in type class definitions. The type variable …

02:35 Ticket #102 (Closure/IntFun test produces bad core when compiled with -O) closed by benl

fixed

09/07/10:

14:53 Ticket #188 (Bad quantifier in type for "undefined") created by benl

Type inference for this code[…]