Timeline
05/12/09:
- 14:06 Ticket #22 (Mask mutability constraints on fresh data) created by
- In a type like […]
- 14:03 Ticket #21 (Don't allow tab characters in string literals.) created by
- GHC does this. It's a good idea.
- 14:02 Ticket #20 (Implement the rest of the primitive types.) created by
- We're only supporting Char, String, Int32 and Float32 at the moment - but …
- 14:00 Ticket #19 (Erase calls to prim.force on objects in direct regions during ...) created by
- Matching against literals generates explicit forcing in core. We want to …
- 13:58 Ticket #18 (Refactor Core.Exp to push XPrim calls into new data type) created by
- Want to share data type that represents primitive functions with …
- 13:56 Ticket #17 (Check profiling and ticky counters in runtime system and add tests) created by
- I haven't checked this for a while, not sure if it's still working. Need …
- 13:52 Ticket #16 (Add type bindings) created by
- type Thing = ... We need this to handle a stack of simple GHC …
- 13:48 Ticket #15 (Ensure we're sharing constant values of enumeration type.) created by
- Make sure we're not reallocating True, False and Unit values.
- 13:45 Ticket #14 (Implement full laziness transform) created by
- This was working before but rotted in a previous refactoring of the core …
- 12:46 Ticket #13 (Share GC stack slots in Sea code) created by
- We don't currently share slots on the GC shadow stack between Sea level …
- 12:43 Ticket #12 (Revisit exception mechanism) created by
- We eliminated the effect masking operator from the type system due to the …
- 12:39 Ticket #11 (Resurrect Core.Inline) created by
- We should at least inline simple projection functions into their use …
- 12:37 Ticket #10 (Rewrite Core.Lint with Core.Trans) created by
- Most of the core in Core.Lint is boilerplate. It'd be better to …
- 12:33 Ticket #9 (Disallow unboxed data being present in function closures.) created by
- The runtime system doesn't support unboxed data being present in closures. …
- 12:26 Ticket #8 (Add a full set of unboxed casting operators.) created by
- We want unsafeFloat32ToInt32 etc etc. Also unsafe ones like castVoid. We …
- 12:15 Ticket #7 (Merge projection dictionaries from different modules.) created by
- Projection dictionaries are open, so we should be able to give instance …
- 12:14 Ticket #6 (Check format of source pragmas.) created by
- Malformed pragmas in the source code are probably being silently …
- 12:12 Ticket #5 (Check that top level CAFs don't have side effects.) created by
- There is no implied order of evaluation for top level CAFS. Indeed, …
- 12:09 Ticket #4 (Check for unsound erasure of type lambdas in core to sea translation) created by
- Erasing type lambdas from mutable objects is unsound due to the problem …
- 12:05 Ticket #3 (Check Shape witnesses in core) created by
- We don't currently check the validity of shape witnesses. Problems should …
- 11:58 Ticket #2 (Check class instances against their definitions.) created by
- We don't currently check whether a type class instance is valid wrt its …
- 10:06 Ticket #1 (Check for partial application of functions to unboxed args.) created by
- Runtime system cannot handle partial application of functions to unboxed …
Note: See TracTimeline
for information about the timeline view.
