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
However, it only talks about options that change the compilation output.
There are other options that need to be added there:
Warnings
Specific warnings can be shown or not, or can be treated as errors. The choice of what to do with a warning is called the severity. The flags for that are -Dwarning-name (deny, treat as error), -Awarning-name (allow, don't show), `-Wwarning-name (warn, the default of most things).
We can also toggle all warnings to one of the severities with -Aall, -Wall or -Dall.
Runtime options
Besides the compiler, we can pass some options to select how hvm is run. These apply only to the run* commands (run, run-c, run-rs, run-cu).
--stats, -s: Shows some runtime information on elapsed time, number of interactions, etc.
--pretty, -p: Shows the result in a prettified form (better indentation mostly).
--linear, -l: Uses a different algorithm for reading HVM results that shows the duplications in the output.
--hvm-bin=<path>: Pass a different executable to run instead of just calling the hvm command. Can also be set (with lesser priority) by the HVM_BIN environment variable.
The text was updated successfully, but these errors were encountered:
The compiler options are described in https://github.com/HigherOrderCO/Bend/blob/main/docs/compiler-options.md.
However, it only talks about options that change the compilation output.
There are other options that need to be added there:
Warnings
Specific warnings can be shown or not, or can be treated as errors. The choice of what to do with a warning is called the severity. The flags for that are
-Dwarning-name
(deny, treat as error),-Awarning-name
(allow, don't show), `-Wwarning-name (warn, the default of most things).The existing individual warnings are:
irrefutable-match
,redundant-match
,unreachable-match
,unused-definition
,repeated-bind
,recursion-cycle
,import-shadow
,missing-main
.We can also toggle all warnings to one of the severities with
-Aall
,-Wall
or-Dall
.Runtime options
Besides the compiler, we can pass some options to select how hvm is run. These apply only to the
run*
commands (run
,run-c
,run-rs
,run-cu
).--stats
,-s
: Shows some runtime information on elapsed time, number of interactions, etc.--pretty
,-p
: Shows the result in a prettified form (better indentation mostly).--linear
,-l
: Uses a different algorithm for reading HVM results that shows the duplications in the output.--hvm-bin=<path>
: Pass a different executable to run instead of just calling thehvm
command. Can also be set (with lesser priority) by theHVM_BIN
environment variable.The text was updated successfully, but these errors were encountered: