Skip to content

Commit

Permalink
remove functions unsupported by rescript 10 (#141)
Browse files Browse the repository at this point in the history
  • Loading branch information
RawToast authored Mar 21, 2023
1 parent d5ca4b0 commit 43d9e6d
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 18 deletions.
17 changes: 0 additions & 17 deletions src/Reprocessing_Common.re
Original file line number Diff line number Diff line change
Expand Up @@ -179,23 +179,6 @@ module Stream = {
let create = (str: string) : t => (str, 0);
};

let read = (name: string) => {
let ic = open_in(name);
let try_read = () =>
switch (input_line(ic)) {
| exception End_of_file => None
| x => Some(x)
};
let rec loop = (acc) =>
switch (try_read()) {
| Some(s) => loop([String.make(1, '\n'), s, ...acc])
| None =>
close_in(ic);
List.rev(acc)
};
loop([]) |> String.concat("")
};

let append_char = (s: string, c: char) : string => s ++ String.make(1, c);

let rec split = (stream, sep, accstr, acc) =>
Expand Down
2 changes: 1 addition & 1 deletion src/Reprocessing_Font.re
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ module Font = {
if (num < 0) {
(stream, map);
} else if (Stream.peekn(stream, 4) != Some("char")) {
prerr_string(
print_string(
"Warning: encountered end of char sequence early when loading font.\n"
);
(stream, map);
Expand Down

0 comments on commit 43d9e6d

Please sign in to comment.