Guest User

Untitled

a guest
Feb 18th, 2019
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.97 KB | None | 0 0
  1. diff -Naur old/stdlib/scanf.ml new/stdlib/scanf.ml
  2. --- old/stdlib/scanf.ml 2015-02-21 20:38:02.250636479 +0100
  3. +++ new/stdlib/scanf.ml 2015-02-21 20:53:51.486677851 +0100
  4. @@ -1125,6 +1125,12 @@
  5. let scan width _ ib = scan_string (Some stp) width ib in
  6. let str_rest = String_literal (str, rest) in
  7. pad_prec_scanf ib str_rest readers pad No_precision scan token_string
  8. + | String (pad, Formatting_gen (Open_tag (Format (fmt', _)), rest)) ->
  9. + let scan width _ ib = scan_string (Some '{') width ib in
  10. + pad_prec_scanf ib (concat_fmt fmt' rest) readers pad No_precision scan token_string
  11. + | String (pad, Formatting_gen (Open_box (Format (fmt', _)), rest)) ->
  12. + let scan width _ ib = scan_string (Some '[') width ib in
  13. + pad_prec_scanf ib (concat_fmt fmt' rest) readers pad No_precision scan token_string
  14. | String (pad, rest) ->
  15. let scan width _ ib = scan_string None width ib in
  16. pad_prec_scanf ib rest readers pad No_precision scan token_string
Add Comment
Please, Sign In to add comment