You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The code below produces
crash: Maybe.fromJust: Nothing
on the console and the program exits.
{-# LANGUAGE NoMonomorphismRestriction #-}
importDiagrams.PreludeimportDiagrams.Backend.Cairo.CmdLineimportGraphics.SVGFonts.ReadFontqtest::DiagramBR2
anchor = r2 (1/2, -1/2)
d1 = circle 0.005# named "foo"
d2 = circle 0.005# translate anchor # named "bar"
d2' = circle 0.005# named "bar"# translate anchor
qtest = (d1 ||| d2) # connectOutside "foo""bar"
main = mainWith qtest
Using d2' instead of d2 in qtest works
Using circle 1 instead of circle 0.005 for d1 and d2 works
Omitting the connectOutside works
Following short discussion on IRC byorgey asked that this be posted as a bug so it can be tested against changes already made in HEAD. Hopefully it can then be closed immediately. Thanks.
The text was updated successfully, but these errors were encountered:
OK, I can confirm that this works as expected in HEAD; in particular it does not crash.
Note that named attaches a name to the local origin of a diagram. So ... # translate anchor # named "bar" and ... # named "bar" # translate anchor are quite different. The expected behavior for the diagram that used to crash on fromJust is that no arrow is drawn at all, because the line between the two local origins does not intersect both circles.
The code below produces
crash: Maybe.fromJust: Nothing
on the console and the program exits.
Following short discussion on IRC byorgey asked that this be posted as a bug so it can be tested against changes already made in HEAD. Hopefully it can then be closed immediately. Thanks.
The text was updated successfully, but these errors were encountered: