Ticket #80 (closed defect: fixed)

Opened 5 years ago

Last modified 4 years ago

Allow projections to be added foreign imported unboxed types

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

Description

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

Change History

Changed 5 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.

Changed 5 years ago by erikd

  • owner set to erikd
  • status changed from new to assigned

Changed 4 years ago by erikd

  • status changed from assigned to closed
  • resolution set to fixed

Fixed in this commit:

  Tue Feb  5 15:48:28 EST 2008  Ben.Lippmeier@anu.edu.au
  * 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 <erikd@mega-nerd.com>
  * Add test for #80 to passing tests.
Note: See TracTickets for help on using tickets.