export_code term file - should output the generated code to stdout. In PG this is shown in the normal responses window. In jEdit and Eclipse this does not produce any info at all (no squigglies, no bubbles, no popups, no nothing). But this is obviously not the way it should be.
export_code term file -
should output the generated code to stdout. In PG this is shown in the normal responses window. In jEdit and Eclipse this does not produce any info at all (no squigglies, no bubbles, no popups, no nothing). But this is obviously not the way it should be.