Custom Query (358 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (28 - 30 of 358)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Ticket Resolution Summary Owner Reporter
#20 fixed Implement the rest of the primitive types. benl
Description

We're only supporting Char, String, Int32 and Float32 at the moment - but most of the code is there for the rest. We'll need to push these into core and add conversion operators to the base library.

#21 fixed Don't allow tab characters in string literals. benl
Description

GHC does this. It's a good idea.

#22 invalid Mask mutability constraints on fresh data benl
Description

In a type like

 fun :: forall %r1 %r2
     .  Int %r1 -> Int %r2
     :- Mutable %r2

The returned Int is fresh, that its region does not appear on the lhs of an arrow or in a closure. In this case it does not matter that the data is Mutable, and this fetter can be masked.

We'll want to use the closure information the core language for this, so make sure the core type checker works.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Note: See TracQuery for help on using queries.