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
Currently we are printing strings, lists, etc. unmodified which can sometimes get a bit long to the point that it may detract from seeing the structure of the program causing an issue. Below I list two example outputs that seem a bit excessive.
In contrast, the OCaml top-level cuts the output off at some point:
We may want to have our string, list, ... printing functions do something similar?
Here is an example with a string
Messages for test Lin DSL In_channel test with Domain:
Results incompatible with sequential execution
|
|
.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
| |
In_channel.input_char t : Ok (Some ('\127')) In_channel.input_line t : Ok (Some ("ELF\001\001\001\000\000\000\000\000\000\000\000\000\003\000\003\000\001\000\000\000\208@\001\0004\000\000\000\148G#\000\000\000\000\0004\000 \000\012\000(\000(\000'\000\006\000\000\0004\000\000\0004\000\000\0004\000\000\000\128\001\000\000\128\001\000\000\004\000\000\000\004\000\000\000\003\000\000\000\180\001\000\000\180\001\000\000\180\001\000\000\019\000\000\000\019\000\000\000\004\000\000\000\001\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004(\001\000\004(\001\000\004\000\000\000\000\016\000\000\001\000\000\000\0000\001\000\0000\001\000\0000\001\000Px\003\000Px\003\000\005\000\000\000\000\016\000\000\001\000\000\000\000\176\004\000\000\176\004\000\000\176\004\000\184\239\001\000\184\239\001\000\004\000\000\000\000\016\000\000\001\000\000\000\156\169\006\000\156\185\006\000\156\185\006\000\232l\b\000\176\134\t\000\006\000\000\000\000\016\000\000\002\000\000\000\192\170\006\000\192\186\006\000\192\186\006\000\b\001\000\000\b\001\000\000\006\000\000\000\004\000\000\000\004\000\000\000\200\001\000\000\200\001\000\000\200\001\000\000D\000\000\000D\000\000\000\004\000\000\000\004\000\000\000\007\000\000\000\156\169\006\000\156\185\006\000\156\185\006\000\028\000\000\000,\000\000\000\004\000\000\000\004\000\000\000P\229td\220\024\005\000\220\024\005\000\220\024\005\000\132'\000\000\132'\000\000\004\000\000\000\004\000\000\000Q\229td\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\000\000\016\000\000\000R\229td\156\169\006\000\156\185\006\000\156\185\006\000d\006\000\000d\006\000\000\004\000\000\000\001\000\000\000/lib/ld-linux.so.2\000\000\004\000\000\000\020\000\000\000\003\000\000\000GNU\000\224W\162m%\134\"\192\235\151\029G\231\138+\250\243\236c\214\004\000\000\000\016\000\000\000\001\000\000\000GNU\000\000\000\000\000\003\000\000\000\002\000\000\000\000\000\000\000\007\004\000\000\003\001\000\000\000\001\000\000\r\000\000\000\000d\018\002\020\003\002\024\144\192\208\001\006\016<\192\132\1652\000r\208\128 \000\004\000\128\002{\189\0005;|@@\000\002\000\0188P\129\b\000\000@J(\003\224\216%\t\147D\004\n"))
Currently we are printing
string
s,list
s, etc. unmodified which can sometimes get a bit long to the point that it may detract from seeing the structure of the program causing an issue. Below I list two example outputs that seem a bit excessive.In contrast, the OCaml top-level cuts the output off at some point:
We may want to have our
string
,list
, ... printing functions do something similar?Here is an example with a
string
And here is one with
string list
:The text was updated successfully, but these errors were encountered: