Axiom without corresponding "compile" block results in an exception

[lukaszcz]

Compiling:

module loneaxiom;

inductive Unit{
  unit : Unit;
};

axiom ignore : Unit -> Unit;

end;

results in:

juvix: Name {_nameText = "ignore", _nameId = NameId {_unNameId = 3}, _nameKind = KNameAxiom, _nameLoc = Interval {_intervalFile = "/Users/heliax/Documents/progs/juvix/loneaxiom.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 7}, _locOffset = Pos {_unPos = 60}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 13}, _locOffset = Pos {_unPos = 66}}}}
CallStack (from HasCallStack):
  error, called at src/Juvix/Prelude/Base.hs:264:9 in juvix-0.2.1-CZT06Rzh5GNEZIQRWHpfSc:Juvix.Prelude.Base
  error, called at src/Juvix/Translation/MonoJuvixToMiniC.hs:439:80 in juvix-0.2.1-CZT06Rzh5GNEZIQRWHpfSc:Juvix.Translation.MonoJuvixToMiniC

PR #1386 doesn't fix this.

[paulcadman]

I have a fix for this in the work I'm doing for name exporting (will need work to integrate with the changes) de2eb43