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

gfredericks October 9, 2016 at 8:08 PM

TCHECK-83 in particular, is done.

gfredericks October 9, 2016 at 8:07 PM

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

Sean Corfield October 7, 2016 at 5:56 PM

import August 30, 2016 at 4:31 AM

Comment made by: floybix

D'oh, sorry for the noise.

gfredericks August 30, 2016 at 4:25 AM

recursive-gen should generate scalars on master

Details

Assignee

Reporter

Priority

Created June 23, 2016 at 1:23 AM
Updated March 30, 2018 at 4:46 PM