Ticket #102 (closed defect: fixed)

Opened 4 years ago

Last modified 3 years ago

Closure/IntFun test produces bad core when compiled with -O

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.3
Component: Core Transforms Version: 0.1.2
Keywords: Cc:

Description

only with the opt way

Change History

Changed 3 years ago by erikd

Running: 

bin/ddc -O -v -c test/Broken-skip/T102-CopyIntFun/IntFun.ds

results in: 

FREAKOUT in Core.Reconstruct
    applyValueT: Type error in value application.
        called by = Nothing
        
        can't apply argument:
            Base.Int32 %r1
        
        to:
            Base.Int32 %rTS25 -> Base.Int32 %rTC19 -(!{Base.!Read %rTC19; Base.!Read %rTS25; Base.!Write %rTS25} (xDEH286 : Base.Int32 %rTS25))> Base.Unit
        
        as it is not <: than:
            Base.Int32 %rTS25
        
        with bounds:

Changed 3 years ago by benl

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