Pass status to pos-check-wrapper continuation
Pass status to pos-check-wrapper continuation

This makes it easier to report errors

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el