Use .sml filename extension instead of .ml