Opened 8 months ago

Closed 4 months ago

#377 closed defect (fixed)

Look through type equations during Tetra to Salt transform

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Core Transforms Version: 0.4.2
Keywords: Cc:

Description (last modified by benl)

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.

Change History (2)

comment:1 Changed 8 months ago by benl

  • Description modified (diff)
  • Summary changed from Use type equations during Tetra to Salt transform to Look through type equations during Tetra to Salt transform

comment:2 Changed 4 months ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.