Re: [armedbear-devel] BUG: problem with THE type checks in compiler