Opened 6 years ago

Closed 6 years ago

Last modified 6 years ago

#312 closed defect (fixed)

Better error when applying -to-salt to a module with higher order functions.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core to Sea Translation Version: 0.3.2
Keywords: Cc:

Description

Explicitly say these are unsupported for now.

$ bin/ddc -to-salt demo/Tetra/Lists/Lists.dct
Fragment violation when converting Tetra module to Salt module.
  Module is malformed.
  Invalid universe for XLam binder: BName (NameVar "f") (TApp (TApp (TCon (TyConSpec TcConFun)) (TVar (UName (NameVar "a")))) (TVar (UName (NameVar "b"))))

Change History (4)

comment:1 Changed 6 years ago by benl

  • Milestone changed from 0.3.3 to 0.4.1

comment:2 Changed 6 years ago by benl

  • Milestone changed from 0.4.1 to 0.4.0
  • Type changed from enhancement to defect

comment:3 Changed 6 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

comment:4 Changed 6 years ago by benl

  • Milestone 0.4.0 deleted

Milestone 0.4.0 deleted

Note: See TracTickets for help on using tickets.