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
Expected (previous) behaviour: adding --debug without specifying the optimization level implied turning off optimizations. This could be overridden by specifying -O explicitly.
This is no longer the case (even though the command documentation suggests it).
For example
juvix compile native --debug program.juvix
should compile in debug mode without optimizations, i.e., it should be equivalent to
juvix compile native --debug -O0 program.juvix
The command
juvix compile native --debug -O2 program.juvix
should compile in debug mode with optimization level 2.
This can probably be fixed by modifying applyCompileCommonOptions appropriately.
The text was updated successfully, but these errors were encountered:
Expected (previous) behaviour: adding
--debug
without specifying the optimization level implied turning off optimizations. This could be overridden by specifying-O
explicitly.This is no longer the case (even though the command documentation suggests it).
For example
should compile in debug mode without optimizations, i.e., it should be equivalent to
The command
should compile in debug mode with optimization level 2.
This can probably be fixed by modifying
applyCompileCommonOptions
appropriately.The text was updated successfully, but these errors were encountered: