++dole fails to it() and nlr() doubly-recusive types

[ohAitch]

Command

> ? *|-((list (each @ {$})))

Expected

  it(?({$.y p/@} {$.n p/^#1.?(it({$.y p/@} {$.n p/#1}))}))
~

Observed

  it(?({$.y p/@} {$.n p/^#1.?({i/?({$.y p/@} {$.n p/#1}) t/#1} $~)}))
~

This manifests itself as pretty printer errors:

> `|-((list (each @ {$})))`~[&+1 |+~[&+2 &+3]]
~[[%.y p=1] [%.n p=[i=[%.y p=2] t=[i=[%.y p=3] t=~]]]]

And is more directly caused by dole cycle elision not back-propagating %list detection.

> ~(dole us p:!>(*|-($@($~ {i/$| t/$}))))
[ p={[p=1 q=[%pick p=~[[%plot p=~[[%face p=%i q=[%pear p=%f q=1]] [%face p=%t q=[%stop p=1]]]] [%pear p=%n q=0]]]]}
  q=[%list p=%it q=[%pear p=%f q=1]]
]
> ~(dole us p:!>(*|-($@($~ {i/$ t/$}))))
[ p={[p=1 q=[%pick p=~[[%plot p=~[[%face p=%i q=[%stop p=1]] [%face p=%t q=[%stop p=1]]]] [%pear p=%n q=0]]]]}
  q=[%list p=%it q=[%stop p=1]]
]
> `|-($@($~ {i/$ t/$}))`~[~[~ ~] ~]
~[[i=~ t=[i=~ t=~]] ~]

[jtobin]

Closing as the given example no longer parses as of v0.8.0.rc.1.

[ohAitch]

Does something similar like ? =/(a |-((list (each @ {$}))) *a) parse? Request to translate clear minimal reproductions to modern syntax before declaring compiler bugs probably fixed

[joemfb]

I expect this to still be present, as old (current) pretty-printer has not seen any significant work. There is a new pretty-printer, but that's only partially integrated.

[jtobin]

Does something similar like ? =/(a |-((list (each @ {$}))) *a) parse?

It parses, and then actually causes a bail: meme and locks up my ship on vere v0.8.0.rc.2. 😄

Something is obviously still a problem here, but I think the issue needs updating to report whatever that is more clearly.

[ohAitch]

Hm that sounds like a separate issue with {$} being bunted eagerly? Like, I would expect swapping *a with =>(*a ~) to still have the bail:meme, while the original issue concerns the pretty-printer.

[cgyarvin]

You’re smashing the stack to recursive infinity there, but not handling memory or stack exhaustion gracefully is its own critical bug...

…

Sent from my iPhone

On Jun 23, 2019, at 3:06 PM, Anton Dyudin ***@***.***> wrote: Hm that sounds like a separate issue with {$} being bunted eagerly? Like, I would expect swapping *a with =>(*a ~) to still have the bail:meme, while the original issue concerns the pretty-printer. — You are receiving this because you were assigned. Reply to this email directly, view it on GitHub, or mute the thread.

[ohAitch]

Yeah I'm guessing that's from the "molds are recursively defined as gates whose samples are the outputs of running them" change? Like obviously this code worked in 2016, and the type it refers to is perfectly clear - it presumably still works if you phrase it as

|%  +=  $  $@(~ [i=$%([%& p=@] [%| p=$]) t=$)  --

but the capacity for any kind of abstraction around that has been removed from the language

[ohAitch]

Or hm *|-({(list (each @ $))}) might work actually