Success returned despite no feasible integer solution.

[zfnmxt]

glpSolveVars will return Success even when glpk raises the warning PROBLEM HAS NO INTEGER FEASIBLE SOLUTION. Apparently the C API exposes a function glp_mip_status which allows you to check when this is the case (when it returns GLP_NOFEAS), but I don't think there's any way to do such a check with glpk-hs, is there?