flymake check standard ml