The latest recursive-gen algorithm seems to exhibit a peculiar lack of variety in depths

Description

In particular the output of (generate (recursive-gen vector nat) 1000) is rather less varied than I would hope.

Environment

None

Activity

Show:
gfredericks
August 30, 2016, 4:25 AM

recursive-gen should generate scalars on master

import
August 30, 2016, 4:31 AM

Comment made by: floybix

D'oh, sorry for the noise.

Sean Corfield
October 7, 2016, 5:56 PM
gfredericks
October 9, 2016, 8:07 PM

I think the "doesn't return scalars" problem is fixed on master; this is a subtler problem.

gfredericks
October 9, 2016, 8:08 PM

TCHECK-83 in particular, is done.

Assignee

gfredericks

Reporter

gfredericks

Labels

Approval

None

Patch

None

Priority

Major