Timeline
May 13, 2009:
- 4:54 AM Ticket #62 (Parsing or desugaring of field initialisers is broken) created by
- For this code: […] We get: […] Adding an bogus application …
- 4:49 AM Ticket #61 (Desugaring pattern matches with guards is broken) created by
- For this program: […] We get a pattern matching failure instead of …
- 4:41 AM Ticket #60 (Matching against literal strings is broken) created by
- With source […] We get: […]
- 4:34 AM Ticket #59 (Parsing fails when a block comment ends on an import line) created by
- Reported by Jared The following code fails to parse: […] The …
- 4:30 AM Ticket #58 (Panic in type inferencer) created by
- Reported by Jared The following function fails to compile: […] The …
- 4:27 AM Ticket #57 (Don't try and make a module that doesn't include main) created by
- Added by Jared: The easiest way to reproduce this is to compile a …
- 4:24 AM Ticket #56 (Bad core produced from lambda abstraction) created by
- This produces bad core. Effect args passed to foldl don't include read …
- 4:18 AM Ticket #55 (Combine function bindings in projection dictionaries) created by
- With this file […] We get […] Desugarer needs to merge both …
- 4:09 AM Ticket #54 (Support value recursion) created by
- It'd be nice to support things like: […] But we currently can't …
- 4:08 AM Ticket #53 (Check for name shadowing in forall quantifiers.) created by
- […] This got broken when we merged the source and core type …
- 4:07 AM Ticket #52 (Auto export class instance functions) created by
- From Data.Array […] We must manually export array_map_ and …
- 4:05 AM Ticket #51 (Refactor representation of Effects and Closures to use Sets) created by
- Using lists is a pain because we have to worry about duplicates, and …
- 4:03 AM Ticket #50 (Emit error for dangerous vars at top level.) created by
- Exporting mutable data containing monomorphic type vars is not sound …
- 3:54 AM Ticket #49 (Add monadic do expressions.) created by
- Overloading <- has been done, but what about {{{then}} expressions? …
- 3:52 AM Ticket #48 (Graphics library is unsafe) created by
- The current library is hacky and dangerous. If you draw outside the …
- 3:51 AM Ticket #47 (Package DDC into Cabal, and streamline install process.) created by
- 3:50 AM Ticket #46 (Compile base libraries into .so) created by
- Don't want to statically link the whole lot into each executable.
- 3:48 AM Ticket #45 (Better error message for runtime pattern match failure) created by
- With […] We get […] No location info, no module name. Not that …
- 3:17 AM Ticket #44 (Fix elaboration of recursive data types.) created by
- At the moment, data type definitions to be elaborated must be in-order …
- 3:16 AM Ticket #43 (Core.Reconstruct isn't using the PCtor defs.) created by
- Types for data constructors are being added to vars by Desugar.toCore, …
- 3:14 AM Ticket #42 (Support unboxed CAFs) created by
- With this file […] We currently get: […]
- 3:09 AM Ticket #41 (Refactor occurance checker to improve speed.) created by
- Doing occurance checking in Type.Util.Substitute made …
- 3:07 AM Ticket #40 (Check for overlapping projection dictionaries during type inference) created by
- Projections should be associated with data constructors, not general …
- 3:02 AM Ticket #39 (Emit an error if modules are recursive.) created by
- We don't handle recursive module yet, so should at least emit an …
- 3:00 AM Ticket #38 (Refactor Util.Pretty to use Data.Seq instead of Data.List) created by
- I think uses O(n) list operations might be making trace file …
- 2:57 AM Ticket #37 (Fix closure trimming of data types containing functions.) created by
- When trimming a closure term containing: […] We don't know …
- 2:53 AM Ticket #36 (Give better source location info for Const/Write errors.) created by
- Try and find the write effect / source of constness. or at least give …
- 2:51 AM Ticket #35 (Allow embedded mutually recursive definitions.) created by
- At the moment mutual recursion is only supported at top level. Want to …
- 2:48 AM Ticket #34 (Check inferred type against signatures.) created by
- As we add sig types to the graph, we'll get a type error if part of it …
- 2:42 AM Ticket #33 (Check for conflicting projection functions.) created by
- In this program, the custom "name" field conflicts with the default …
- 2:30 AM Ticket #32 (Don't panic if user Control-C's GCC) created by
- Is there a way to detect that gcc has died this way vs by a compile error?
- 2:27 AM Ticket #31 (Implement dictionary passing.) created by
- We'll want to use the projection system to extract fns from the dictionary.
- 2:24 AM Ticket #30 (Emit a better error message when reading an empty interface file.) created by
- If a .di file is empty for some reason, we just get DDC: reading EOF, …
- 2:22 AM Ticket #29 (Check well-formedness of bound witnesses in letregion) created by
- The source to core translation shouldn't create malformed witnesses, …
- 2:19 AM Ticket #28 (When defining projections, auto-open the other fns in the projection) created by
- We should be able to access other projections of the same constructor …
- 2:16 AM Ticket #27 (Rewrite primitive functions from RTS in Disciple) created by
- Having custom C code for Arrays and such like is ok for starters, but …
- 2:14 AM Ticket #26 (Improve runtime of Core.Reconstruct.) created by
- Core.reconstruct for XLam is eating up 30% of total time when …
- 2:10 AM Ticket #25 (Investigate support for polymorphic recursion) created by
- Manage this the same was as in Haskell, by requiring an explicit type …
- 2:08 AM Ticket #24 (Allow resumption of tests in bin/war test driver) created by
- If a test dies due to some problem we don't always want to start from …
- 2:00 AM Ticket #23 (Mask effects on fresh data) created by
- In a type like […] The effect Read %r2 isn't being masked by …
May 12, 2009:
- 1:06 PM Ticket #22 (Mask mutability constraints on fresh data) created by
- In a type like […] The returned Int is fresh, that its region …
- 1:03 PM Ticket #21 (Don't allow tab characters in string literals.) created by
- GHC does this. It's a good idea.
- 1:02 PM Ticket #20 (Implement the rest of the primitive types.) created by
- We're only supporting Char, String, Int32 and Float32 at the moment - …
- 1:00 PM Ticket #19 (Erase calls to prim.force on objects in direct regions during Core.Simplify) created by
- Matching against literals generates explicit forcing in core. We want …
- 12:58 PM 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 Sea.Exp.
- 12:56 PM 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. …
- 12:52 PM Ticket #16 (Add type bindings) created by
- type Thing = ... We need this to handle a stack of simple GHC …
- 12:48 PM Ticket #15 (Share constant enumeration values.) created by
- Make sure we're not reallocating True, False and Unit values.
- 12:45 PM Ticket #14 (Implement full laziness transform) created by
- This was working before but rotted in a previous refactoring of the …
- 11:46 AM Ticket #13 (Share GC stack slots in Sea code) created by
- We don't currently share slots on the GC shadow stack between Sea …
- 11:43 AM Ticket #12 (Revisit exception mechanism) created by
- We eliminated the effect masking operator from the type system due to …
- 11:39 AM Ticket #11 (Resurrect Core.Inline) created by
- We should at least inline simple projection functions into their use …
- 11:37 AM Ticket #10 (Rewrite Core.Lint with Core.Trans) created by
- Most of the core in Core.Lint is boilerplate. It'd be better to …
- 11:33 AM Ticket #9 (Disallow unboxed data being present in function closures.) created by
- The runtime system doesn't support unboxed data being present in …
- 11:26 AM Ticket #8 (Add a full set of unboxed casting operators.) created by
- We want unsafeFloat32ToInt32 etc etc. Also unsafe ones like castVoid. …
- 11:15 AM Ticket #7 (Merge projection dictionaries from different modules.) created by
- Projection dictionaries are open, so we should be able to give …
- 11:14 AM Ticket #6 (Check format of source pragmas.) created by
- Malformed pragmas in the source code are probably being silently …
- 11:12 AM 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, …
- 11:09 AM 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 …
- 11:05 AM Ticket #3 (Check Shape witnesses in core) created by
- We don't currently check the validity of shape witnesses. Problems …
- 10:58 AM Ticket #2 (Check class instances against their definitions.) created by
- We don't currently check whether a type class instance is valid wrt …
- 9:06 AM Ticket #1 (Check for partial application of functions to unboxed args.) created by
- Runtime system cannot handle partial application of functions to …
Note: See TracTimeline
for information about the timeline view.
