Ticket #2 (assigned defect)

Opened 6 years ago

Last modified 6 years ago

unfoldU off-by-one

Reported by: pumpkingod@… Owned by: anonymous
Priority: minor Milestone:
Component: component1 Version:
Keywords: Cc:

Description

unfoldU 5 (const $ JustS (1 :*: 1)) 1

yields

toU [1.0,1.0,1.0,1.0,1.0,4.250268257e-314] (length 6).

This only happens if a NothingS is not encountered (i.e., if you're trying to use the length argument to limit the unfold).

Change History

Changed 6 years ago by pumpkingod@…

  • owner changed from somebody to anonymous
  • status changed from new to assigned

I believe I've fixed this. Just figuring out how the unit test system works now so I can make sure it's correct, then I'll submit a patch.

Note: See TracTickets for help on using tickets.