Skip to content

realLine combinator sometimes crashes the pp library #899

@krame505

Description

@krame505

I have been able to make show crash with a cycle detected when using the realLine() combinator extensively. Note that newlines in pp"" literals are interpreted as realLine(), even when this combinator isn't used directly.

Also note:

-- I'm not 100% on this combinator

This is the stack trace that I obtained, for posterity:

(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:line' (5dd227b7)
(DN.775): While evaling inh 'silver:langutil:pp:inCHorizontals' via forward in 'silver:langutil:pp:cat' (4fbbd98c)
(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:nest' (39420d59)
(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:cat' (1331d6fd)
(silver.core.Ptail in Ptail.java:142): Error while evaluating function silver:core:tail
	Cycle begins here:
(silver.core.Ptail in Ptail.java:142): Error while evaluating function silver:core:tail
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (182dcd2b)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (7ef7f414)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (49c4118b)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (5dc120ab)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (182fd26b)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.518): While evaling syn 'silver:langutil:pp:horizontals' via forward in 'silver:langutil:pp:nest' (238280df)
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (750c23a3)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (1c3b221f)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (2c92f094)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:group' (5bf1b528)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (1331d6fd)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.518): While evaling syn 'silver:langutil:pp:horizontals' via forward in 'silver:langutil:pp:nest' (39420d59)
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (4fbbd98c)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (3d3b852e)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (14ba7f15)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (55cb3b7)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (497fd334)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (6f89ad03)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (f287a4e)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:group' (71d2261e)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.518): While evaling syn 'silver:langutil:pp:horizontals' via forward in 'silver:langutil:pp:box' (53917c92)
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (1fa796a4)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (68de8522)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (73c09a98)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:cat' (6f2bf657)
(silver.core.PappendList in PappendList.java:154): Error while evaluating function silver:core:appendList
(DN.512): While evaling syn 'silver:langutil:pp:horizontals' in 'silver:langutil:pp:text' (27d6467)
(DN.425): While evaling local 'silver:langutil:pp:text:local:silver:langutil:pp:Document_sv:154:8:pr' in 'silver:langutil:pp:text' (27d6467)
(silver.langutil.pp.Pprune in Pprune.java:17): Error while evaluating function silver:langutil:pp:prune
(DN.512): While evaling syn 'silver:langutil:pp:outPosition' in 'silver:langutil:pp:text' (27d6467)
(DN.789): While evaling inh 'silver:langutil:pp:inPosition' in 'silver:langutil:pp:text' (27d6467)
(DN.789): While evaling inh 'silver:langutil:pp:inPosition' in 'silver:langutil:pp:cat' (6f2bf657)
(DN.789): While evaling inh 'silver:langutil:pp:inPosition' in 'silver:langutil:pp:cat' (73c09a98)
(DN.512): While evaling syn 'silver:langutil:pp:outPosition' in 'silver:langutil:pp:cat' (8dcacf1)
(DN.512): While evaling syn 'silver:langutil:pp:outPosition' in 'silver:langutil:pp:realLine' (50f13494)
(DN.789): While evaling inh 'silver:langutil:pp:indent' in 'silver:langutil:pp:realLine' (50f13494)
(DN.789): While evaling inh 'silver:langutil:pp:indent' in 'silver:langutil:pp:cat' (8dcacf1)
(DN.789): While evaling inh 'silver:langutil:pp:indent' in 'silver:langutil:pp:cat' (68de8522)
(DN.789): While evaling inh 'silver:langutil:pp:indent' in 'silver:langutil:pp:cat' (1fa796a4)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:box' (53917c92)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:group' (71d2261e)
(DN.512): While evaling syn 'silver:langutil:pp:outRemaining' in 'silver:langutil:pp:text' (3879feec)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:text' (3879feec)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (f287a4e)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (6f89ad03)
(DN.512): While evaling syn 'silver:langutil:pp:outRemaining' in 'silver:langutil:pp:text' (280c3dc0)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:text' (280c3dc0)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (497fd334)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (55cb3b7)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (14ba7f15)
(DN.789): While evaling inh 'silver:langutil:pp:inRemaining' in 'silver:langutil:pp:cat' (3d3b852e)
(DN.512): While evaling syn 'silver:langutil:pp:outRemaining' in 'silver:langutil:pp:line' (5dd227b7)
(DN.425): While evaling local 'silver:langutil:pp:line:local:silver:langutil:pp:Document_sv:198:8:horizontal' in 'silver:langutil:pp:line' (5dd227b7)
(silver.core.Phead in Phead.java:142): Error while evaluating function silver:core:head
(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:line' (5dd227b7)
(DN.775): While evaling inh 'silver:langutil:pp:inCHorizontals' via forward in 'silver:langutil:pp:cat' (4fbbd98c)
(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:nest' (39420d59)
(DN.789): While evaling inh 'silver:langutil:pp:inCHorizontals' in 'silver:langutil:pp:cat' (1331d6fd)
(silver.core.Ptail in Ptail.java:142): Error while evaluating function silver:core:tail
(T.52): Cycle detected in execution

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions