Opened 3 years ago

Last modified 17 months ago

#350 new bug

Core to Salt conversion of let-bound type applications is incomplete.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core to Salt Version: 0.4.1
Keywords: Cc:

Description

If the Tetra code contains let-bindings like the following, then the Tetra -> Salt transform won't work.

This should only happen if there are explicit type applications in the source program. For applications of functions with the standard call pattern all the type args will be provided at the call site.

   f  = g1 [t1] [t2]
   g1 = g2 [t3] [t4] [t5]

Change History (6)

comment:1 Changed 3 years ago by benl

  • Component changed from Unknown to Core to Sea Translation
  • Summary changed from Nested type application when converting Tetra to Salt. to Tetra to Salt conversion of let-bound type applications is incomplete.

comment:2 Changed 3 years ago by benl

  • Milestone changed from 0.4.2 to 0.4.3

comment:3 Changed 2 years ago by benl

  • Milestone 0.4.3 deleted

comment:4 Changed 17 months ago by benl

  • Type changed from defect to bug

comment:5 Changed 17 months ago by benl

  • Summary changed from Tetra to Salt conversion of let-bound type applications is incomplete. to Core to Salt conversion of let-bound type applications is incomplete.

comment:6 Changed 17 months ago by benl

  • Component changed from Core to Sea Translation to Core to Salt
Note: See TracTickets for help on using tickets.