Core-to-PLC plugin prints too much context

[j-mueller]

In the default setting the plugin prints out a stack of contexts all the way to the entire script. The default should be to only print the first couple of contexts.

GHC Core to PLC plugin: Error: Used but not defined in the current conversion: Variable >= [ClassOp] Context: Converting expr: >= Context: Converting expr: >= @ Ada Context: Converting expr: >= @ Ada $fOrdAda Context: Converting expr: >= @ Ada $fOrdAda totalInputs_aIaY Context: Converting expr: >= @ Ada $fOrdAda totalInputs_aIaY a_aIck Context: Converting expr: break<199>(a_aIck,totalInputs_aIaY) >= @ Ada $fOrdAda totalInputs_aIaY a_aIck Context: Converting expr: case break<199>(a_aIck,totalInputs_aIaY) >= @ Ada $fOrdAda totalInputs_aIaY a_aIck of { False -> ds_dIJ4 ds_dIJ7; True -> : @ Slot s_aIcj (ds_dIJ4 ds_dIJ7) } Context: Creating alternative: (,) Context: Converting expr: case ds_dIJ6 of { (s_aIcj, a_aIck) -> case break<199>(a_aIck,totalInputs_aIaY) >= @ Ada $fOrdAda totalInputs_aIaY a_aIck of { False

[michaelpj]

IMO we should not print any context. It still just shows you incomprehensible gobs of Core.

[michaelpj]

Fixed.