Opened 10 years ago

Closed 9 years ago

Last modified 8 years ago

#80 closed defect (fixed)

Allow projections to be added foreign imported unboxed types

Reported by: benl Owned by: erikd
Priority: blocker Milestone:
Component: Source Desugarer Version: 0.1.2
Keywords: Cc:


Desugar.Project.addProjDictFunsP tries to lookup the regular data def to decide what default projections to add, but there aren't any.

Change History (4)

comment:1 Changed 10 years ago by benl

In Base.System.File we have

foreign import data "FILE" File# :: *

We want to be able to define projections for this type like:

project File# where
  length = ..
  read = ..
  write = ...

A the moment defining projections for foreign imported types like this doesn't work.

comment:2 Changed 10 years ago by erikd

  • Owner set to erikd
  • Status changed from new to assigned

comment:3 Changed 9 years ago by erikd

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

Fixed in this commit:

  Tue Feb  5 15:48:28 EST 2008
  * Fix #80: Purged NoSourcePos and added real source positions to all Source.Exp constructors.

Test added in this one:

  Wed Apr 28 20:31:41 EST 2010  Erik de Castro Lopo <>
  * Add test for #80 to passing tests.

comment:4 Changed 8 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

Note: See TracTickets for help on using tickets.