Custom Query (358 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (37 - 39 of 358)

3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
Ticket Resolution Summary Owner Reporter
#379 wontfix Track variance information in type synonyms. benl
Description

The type checker treats the parameter type of a function contravariantly, but if we were to wrap the (->) constructor in a type synonym the parameter and return types would then be treated invariantly. If the concrete type of a type synonym is visible we could check the true variance of each parameter during type checking.

#378 fixed Complete merging (~>) and (->) type constructors. benl
Description

Use a single baked in arrow constructor for both type and kind level, as a step towards unifying terms and types.

#377 fixed Look through type equations during Tetra to Salt transform benl
Description

The Tetra to Salt transform isn't looking through type equations, so types of primitives that use type synonyms break. Eg in Data.Array, the indices need to be specified using 'Nat#' types rather than 'Nat' to the conversion knows the underlying function worked on unboxed values.

There will also be problems with code generation if the type of some thing is Nat but Nat# is handled specially.

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