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
foo : '{IO, Exception} ()
foo = do
printLine "hello there this is a pretty long string that doesn't fit"
printLine "world"
x = 1 + 1
()
d = {{
I've got some text here.
@source{foo}
And now moar text.
}}
Then display d in UCM.
It prints as:
I've got some text here.
foo : '{IO, Exception} ()
foo =
do
use Nat +
printLine
"hello there this is a pretty long string that doesn't fit"
printLine "world"
x = 1 + 1
()
And now moar text.
If all the things inside the do fit without breaking, then it does the soft hang:
excited-moonrat/main> display d
I've got some text here.
foo : '{IO, Exception} ()
foo = do
use Nat +
printLine "hello there"
printLine "world"
x = 1 + 1
()
The text was updated successfully, but these errors were encountered:
Then
display d
in UCM.It prints as:
If all the things inside the
do
fit without breaking, then it does the soft hang:The text was updated successfully, but these errors were encountered: