diff --git a/eo-phi-normalizer/data/0.50.0/dependencies.md b/eo-phi-normalizer/data/0.50.0/dependencies.md index d1f82494..4aede7b3 100644 --- a/eo-phi-normalizer/data/0.50.0/dependencies.md +++ b/eo-phi-normalizer/data/0.50.0/dependencies.md @@ -386,6 +386,133 @@ ⟧} ``` +## [org/eolang/io/console.phi](./org/eolang/io/console.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + io() ↦ ⟦ + console() ↦ ⟦ + φ ↦ Φ̇.sys.os.is-windows.if(ξ.windows-console, ξ.posix-console).platform, + posix-console() ↦ ⟦ + platform ↦ ξ, + read(size) ↦ ⟦ + φ ↦ ξ.input-block(Φ̇.bytes(⟦ Δ ⤍ -- ⟧)).read(ξ.size).self, + input-block(buffer) ↦ ⟦ + self ↦ ξ, + φ ↦ ξ.buffer, + read(size) ↦ ⟦ + read-bytes ↦ Φ̇.dataized( + Φ̇.sys.posix( + "read", + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.sys.posix.stdin-fileno), ξ.size + ) + ).output + ).as-bytes, + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, ξ.read-bytes), ξ.ρ.ρ.input-block(ξ.read-bytes) + ) + ).self + ⟧ + ⟧ + ⟧, + write(buffer) ↦ ⟦ + φ ↦ ξ.output-block.write(ξ.buffer).self, + output-block() ↦ ⟦ + self ↦ ξ, + φ ↦ Φ̇.true, + write(buffer) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, + Φ̇.sys.posix( + "write", + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, Φ̇.sys.posix.stdout-fileno + ), + ξ.buffer + ), + ξ.buffer.size + ) + ).code + ), + ξ.ρ.ρ.output-block + ) + ).self + ⟧ + ⟧ + ⟧ + ⟧, + windows-console() ↦ ⟦ + platform ↦ ξ, + read(size) ↦ ⟦ + φ ↦ ξ.input-block(Φ̇.bytes(⟦ Δ ⤍ -- ⟧)).read(ξ.size).self, + input-block(buffer) ↦ ⟦ + self ↦ ξ, + φ ↦ ξ.buffer, + read(size) ↦ ⟦ + read-bytes ↦ Φ̇.dataized( + Φ̇.sys.win32( + "ReadFile", + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.sys.win32.std-input-handle), ξ.size + ) + ).output + ).as-bytes, + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, ξ.read-bytes), ξ.ρ.ρ.input-block(ξ.read-bytes) + ) + ).self + ⟧ + ⟧ + ⟧, + write(buffer) ↦ ⟦ + φ ↦ ξ.output-block.write(ξ.buffer).self, + output-block() ↦ ⟦ + self ↦ ξ, + φ ↦ Φ̇.true, + write(buffer) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, + Φ̇.sys.win32( + "WriteFile", + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, Φ̇.sys.win32.std-output-handle + ), + ξ.buffer + ), + ξ.buffer.size + ) + ).code + ), + ξ.ρ.ρ.output-block + ) + ).self + ⟧ + ⟧ + ⟧ + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + ## [org/eolang/io/dead-input.phi](./org/eolang/io/dead-input.phi) ```console @@ -440,6 +567,29 @@ ⟧} ``` +## [org/eolang/io/stdout.phi](./org/eolang/io/stdout.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + io() ↦ ⟦ + stdout(text) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.io.console.write(ξ.text)), Φ̇.true + ) + ) + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + ## [org/eolang/nan.phi](./org/eolang/nan.phi) ```console @@ -882,6 +1032,117 @@ ⟧} ``` +## [org/eolang/sys/os.phi](./org/eolang/sys/os.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + os() ↦ ⟦ + φ ↦ ξ.name, + is-windows() ↦ ⟦ + os-name ↦ Φ̇.dataized(ξ.ρ.name).as-bytes, + φ ↦ ξ.os-name.size.gt(6).and(ξ.os-name.slice(0, 7).eq("Windows")) + ⟧, + is-linux ↦ Φ̇.txt.regex("/linux/i").matches(ξ.name).as-bool, + is-macos ↦ Φ̇.txt.regex("/mac/i").matches(ξ.name).as-bool, + name() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_os_name + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + +## [org/eolang/sys/posix.phi](./org/eolang/sys/posix.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + posix(name, args) ↦ ⟦ + stdin-fileno ↦ 0, + stdout-fileno ↦ 1, + af-inet ↦ 2, + sock-stream ↦ 1, + ipproto-tcp ↦ 6, + inaddr-none ↦ -1, + φ() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_posix_φ + ⟧, + return(code, output) ↦ ⟦ + called ↦ ξ, + φ ↦ ξ.output + ⟧, + timeval(tv-sec, tv-usec) ↦ ⟦ + self ↦ ξ + ⟧, + sockaddr-in(sin-family, sin-port, sin-addr) ↦ ⟦ + sin-zero ↦ Φ̇.bytes(⟦ Δ ⤍ 00-00-00-00-00-00-00-00 ⟧), + size ↦ ξ.sin-family.size.plus(ξ.sin-port.size).plus(ξ.sin-addr.size).plus( + ξ.sin-zero.size + ) + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + +## [org/eolang/sys/win32.phi](./org/eolang/sys/win32.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + win32(name, args) ↦ ⟦ + std-input-handle ↦ -10, + std-output-handle ↦ -11, + af-inet ↦ 2, + sock-stream ↦ 1, + ipproto-tcp ↦ 6, + invalid-socket ↦ -1, + socket-error ↦ -1, + inaddr-none ↦ -1, + winsock-version-2-2 ↦ Φ̇.bytes(⟦ Δ ⤍ 02-02 ⟧), + φ() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_win32_φ + ⟧, + return(code, output) ↦ ⟦ + called ↦ ξ, + φ ↦ ξ.output + ⟧, + system-time(year, month, day, day-of-week, hour, minute, second, milliseconds) ↦ ⟦ + self ↦ ξ + ⟧, + sockaddr-in(sin-family, sin-port, sin-addr) ↦ ⟦ + sin-zero ↦ Φ̇.bytes(⟦ Δ ⤍ 00-00-00-00-00-00-00-00 ⟧), + size ↦ ξ.sin-family.size.plus(ξ.sin-port.size).plus(ξ.sin-addr.size).plus( + ξ.sin-zero.size + ) + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + ## [org/eolang/true.phi](./org/eolang/true.phi) ```console @@ -968,6 +1229,67 @@ ⟧} ``` +## [org/eolang/txt/regex.phi](./org/eolang/txt/regex.phi) + +```console +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + txt() ↦ ⟦ + regex(expression) ↦ ⟦ + φ ↦ ξ.compiled, + compiled() ↦ ⟦ + λ ⤍ Lorg_eolang_txt_regex_compiled + ⟧, + pattern(serialized) ↦ ⟦ + matches(txt) ↦ ⟦ + φ ↦ ξ.ρ.match(ξ.txt).next.exists + ⟧, + match(txt) ↦ ⟦ + next ↦ ξ.matched-from-index(1, 0).matched, + matched-from-index(position, start) ↦ ⟦ + λ ⤍ Lorg_eolang_txt_regex_pattern_match_matched_from_index + ⟧, + matched(position, start, from, to, groups) ↦ ⟦ + matched ↦ ξ, + groups-count ↦ ξ.groups.length, + exists ↦ ξ.start.gte(0), + next ↦ ξ.exists.if( + ξ.ρ.matched-from-index(ξ.position.plus(1), ξ.to).matched, + Φ̇.error("Matched block does not exist, can't get next") + ), + text ↦ ξ.exists.if( + ξ.group(0), Φ̇.error("Matched block does not exist, can't get text") + ), + group(index) ↦ ⟦ + φ ↦ ξ.ρ.groups.at(ξ.index) + ⟧ + ⟧, + not-matched(position) ↦ ⟦ + φ ↦ ξ.ρ.matched( + ξ.position, + -1, + Φ̇.error( + "Matched block does not exist, can't get 'from' position" + ), + Φ̇.error( + "Matched block does not exist, can't get 'to' position" + ), + Φ̇.error("Matched block does not exist, can't get groups") + ) + ⟧ + ⟧ + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} +``` + ## [org/eolang/txt/sprintf.phi](./org/eolang/txt/sprintf.phi) ```console diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/io/console.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/io/console.phi new file mode 100644 index 00000000..f3927bdb --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/io/console.phi @@ -0,0 +1,122 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + io() ↦ ⟦ + console() ↦ ⟦ + φ ↦ Φ̇.sys.os.is-windows.if(ξ.windows-console, ξ.posix-console).platform, + posix-console() ↦ ⟦ + platform ↦ ξ, + read(size) ↦ ⟦ + φ ↦ ξ.input-block(Φ̇.bytes(⟦ Δ ⤍ -- ⟧)).read(ξ.size).self, + input-block(buffer) ↦ ⟦ + self ↦ ξ, + φ ↦ ξ.buffer, + read(size) ↦ ⟦ + read-bytes ↦ Φ̇.dataized( + Φ̇.sys.posix( + "read", + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.sys.posix.stdin-fileno), ξ.size + ) + ).output + ).as-bytes, + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, ξ.read-bytes), ξ.ρ.ρ.input-block(ξ.read-bytes) + ) + ).self + ⟧ + ⟧ + ⟧, + write(buffer) ↦ ⟦ + φ ↦ ξ.output-block.write(ξ.buffer).self, + output-block() ↦ ⟦ + self ↦ ξ, + φ ↦ Φ̇.true, + write(buffer) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, + Φ̇.sys.posix( + "write", + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, Φ̇.sys.posix.stdout-fileno + ), + ξ.buffer + ), + ξ.buffer.size + ) + ).code + ), + ξ.ρ.ρ.output-block + ) + ).self + ⟧ + ⟧ + ⟧ + ⟧, + windows-console() ↦ ⟦ + platform ↦ ξ, + read(size) ↦ ⟦ + φ ↦ ξ.input-block(Φ̇.bytes(⟦ Δ ⤍ -- ⟧)).read(ξ.size).self, + input-block(buffer) ↦ ⟦ + self ↦ ξ, + φ ↦ ξ.buffer, + read(size) ↦ ⟦ + read-bytes ↦ Φ̇.dataized( + Φ̇.sys.win32( + "ReadFile", + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.sys.win32.std-input-handle), ξ.size + ) + ).output + ).as-bytes, + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, ξ.read-bytes), ξ.ρ.ρ.input-block(ξ.read-bytes) + ) + ).self + ⟧ + ⟧ + ⟧, + write(buffer) ↦ ⟦ + φ ↦ ξ.output-block.write(ξ.buffer).self, + output-block() ↦ ⟦ + self ↦ ξ, + φ ↦ Φ̇.true, + write(buffer) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, + Φ̇.sys.win32( + "WriteFile", + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple( + Φ̇.tuple.empty, Φ̇.sys.win32.std-output-handle + ), + ξ.buffer + ), + ξ.buffer.size + ) + ).code + ), + ξ.ρ.ρ.output-block + ) + ).self + ⟧ + ⟧ + ⟧ + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/io/stdout.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/io/stdout.phi new file mode 100644 index 00000000..0f0ffc3d --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/io/stdout.phi @@ -0,0 +1,18 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + io() ↦ ⟦ + stdout(text) ↦ ⟦ + φ ↦ Φ̇.seq( + Φ̇.tuple( + Φ̇.tuple(Φ̇.tuple.empty, Φ̇.io.console.write(ξ.text)), Φ̇.true + ) + ) + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/sys/os.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/os.phi new file mode 100644 index 00000000..e545be37 --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/os.phi @@ -0,0 +1,23 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + os() ↦ ⟦ + φ ↦ ξ.name, + is-windows() ↦ ⟦ + os-name ↦ Φ̇.dataized(ξ.ρ.name).as-bytes, + φ ↦ ξ.os-name.size.gt(6).and(ξ.os-name.slice(0, 7).eq("Windows")) + ⟧, + is-linux ↦ Φ̇.txt.regex("/linux/i").matches(ξ.name).as-bool, + is-macos ↦ Φ̇.txt.regex("/mac/i").matches(ξ.name).as-bool, + name() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_os_name + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/sys/posix.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/posix.phi new file mode 100644 index 00000000..5dcb9673 --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/posix.phi @@ -0,0 +1,35 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + posix(name, args) ↦ ⟦ + stdin-fileno ↦ 0, + stdout-fileno ↦ 1, + af-inet ↦ 2, + sock-stream ↦ 1, + ipproto-tcp ↦ 6, + inaddr-none ↦ -1, + φ() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_posix_φ + ⟧, + return(code, output) ↦ ⟦ + called ↦ ξ, + φ ↦ ξ.output + ⟧, + timeval(tv-sec, tv-usec) ↦ ⟦ + self ↦ ξ + ⟧, + sockaddr-in(sin-family, sin-port, sin-addr) ↦ ⟦ + sin-zero ↦ Φ̇.bytes(⟦ Δ ⤍ 00-00-00-00-00-00-00-00 ⟧), + size ↦ ξ.sin-family.size.plus(ξ.sin-port.size).plus(ξ.sin-addr.size).plus( + ξ.sin-zero.size + ) + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/sys/win32.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/win32.phi new file mode 100644 index 00000000..25465a93 --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/sys/win32.phi @@ -0,0 +1,38 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + sys() ↦ ⟦ + win32(name, args) ↦ ⟦ + std-input-handle ↦ -10, + std-output-handle ↦ -11, + af-inet ↦ 2, + sock-stream ↦ 1, + ipproto-tcp ↦ 6, + invalid-socket ↦ -1, + socket-error ↦ -1, + inaddr-none ↦ -1, + winsock-version-2-2 ↦ Φ̇.bytes(⟦ Δ ⤍ 02-02 ⟧), + φ() ↦ ⟦ + λ ⤍ Lorg_eolang_sys_win32_φ + ⟧, + return(code, output) ↦ ⟦ + called ↦ ξ, + φ ↦ ξ.output + ⟧, + system-time(year, month, day, day-of-week, hour, minute, second, milliseconds) ↦ ⟦ + self ↦ ξ + ⟧, + sockaddr-in(sin-family, sin-port, sin-addr) ↦ ⟦ + sin-zero ↦ Φ̇.bytes(⟦ Δ ⤍ 00-00-00-00-00-00-00-00 ⟧), + size ↦ ξ.sin-family.size.plus(ξ.sin-port.size).plus(ξ.sin-addr.size).plus( + ξ.sin-zero.size + ) + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/data/0.50.0/org/eolang/txt/regex.phi b/eo-phi-normalizer/data/0.50.0/org/eolang/txt/regex.phi new file mode 100644 index 00000000..f4c9ca8d --- /dev/null +++ b/eo-phi-normalizer/data/0.50.0/org/eolang/txt/regex.phi @@ -0,0 +1,56 @@ +{⟦ + org() ↦ ⟦ + eolang() ↦ ⟦ + txt() ↦ ⟦ + regex(expression) ↦ ⟦ + φ ↦ ξ.compiled, + compiled() ↦ ⟦ + λ ⤍ Lorg_eolang_txt_regex_compiled + ⟧, + pattern(serialized) ↦ ⟦ + matches(txt) ↦ ⟦ + φ ↦ ξ.ρ.match(ξ.txt).next.exists + ⟧, + match(txt) ↦ ⟦ + next ↦ ξ.matched-from-index(1, 0).matched, + matched-from-index(position, start) ↦ ⟦ + λ ⤍ Lorg_eolang_txt_regex_pattern_match_matched_from_index + ⟧, + matched(position, start, from, to, groups) ↦ ⟦ + matched ↦ ξ, + groups-count ↦ ξ.groups.length, + exists ↦ ξ.start.gte(0), + next ↦ ξ.exists.if( + ξ.ρ.matched-from-index(ξ.position.plus(1), ξ.to).matched, + Φ̇.error("Matched block does not exist, can't get next") + ), + text ↦ ξ.exists.if( + ξ.group(0), Φ̇.error("Matched block does not exist, can't get text") + ), + group(index) ↦ ⟦ + φ ↦ ξ.ρ.groups.at(ξ.index) + ⟧ + ⟧, + not-matched(position) ↦ ⟦ + φ ↦ ξ.ρ.matched( + ξ.position, + -1, + Φ̇.error( + "Matched block does not exist, can't get 'from' position" + ), + Φ̇.error( + "Matched block does not exist, can't get 'to' position" + ), + Φ̇.error("Matched block does not exist, can't get groups") + ) + ⟧ + ⟧ + ⟧ + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧, + λ ⤍ Package + ⟧ +⟧} \ No newline at end of file diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index b47fe0c1..8c4c8110 100644 --- a/eo-phi-normalizer/eo-phi-normalizer.cabal +++ b/eo-phi-normalizer/eo-phi-normalizer.cabal @@ -371,24 +371,59 @@ extra-source-files: data/0.49.4/org/eolang/while.phi data/0.50.0/dependencies.md data/0.50.0/org/eolang/bytes.phi + data/0.50.0/org/eolang/cti.phi data/0.50.0/org/eolang/dataized.phi data/0.50.0/org/eolang/error.phi data/0.50.0/org/eolang/false.phi + data/0.50.0/org/eolang/fs/dir.phi + data/0.50.0/org/eolang/fs/file.phi + data/0.50.0/org/eolang/fs/path.phi + data/0.50.0/org/eolang/fs/tmpdir.phi + data/0.50.0/org/eolang/go.phi data/0.50.0/org/eolang/i16.phi data/0.50.0/org/eolang/i32.phi data/0.50.0/org/eolang/i64.phi + data/0.50.0/org/eolang/io/bytes-as-input.phi + data/0.50.0/org/eolang/io/console.phi data/0.50.0/org/eolang/io/dead-input.phi data/0.50.0/org/eolang/io/dead-output.phi + data/0.50.0/org/eolang/io/input-length.phi + data/0.50.0/org/eolang/io/malloc-as-output.phi + data/0.50.0/org/eolang/io/stdout.phi + data/0.50.0/org/eolang/io/tee-input.phi + data/0.50.0/org/eolang/malloc.phi + data/0.50.0/org/eolang/math/angle.phi + data/0.50.0/org/eolang/math/e.phi + data/0.50.0/org/eolang/math/integral.phi + data/0.50.0/org/eolang/math/numbers.phi + data/0.50.0/org/eolang/math/pi.phi + data/0.50.0/org/eolang/math/random.phi + data/0.50.0/org/eolang/math/real.phi data/0.50.0/org/eolang/nan.phi data/0.50.0/org/eolang/negative-infinity.phi data/0.50.0/org/eolang/number.phi data/0.50.0/org/eolang/positive-infinity.phi data/0.50.0/org/eolang/seq.phi data/0.50.0/org/eolang/string.phi + data/0.50.0/org/eolang/structs/bytes-as-array.phi + data/0.50.0/org/eolang/structs/hash-code-of.phi + data/0.50.0/org/eolang/structs/list.phi + data/0.50.0/org/eolang/structs/map.phi + data/0.50.0/org/eolang/structs/range-of-ints.phi + data/0.50.0/org/eolang/structs/range.phi + data/0.50.0/org/eolang/structs/set.phi + data/0.50.0/org/eolang/switch.phi + data/0.50.0/org/eolang/sys/getenv.phi + data/0.50.0/org/eolang/sys/os.phi + data/0.50.0/org/eolang/sys/posix.phi + data/0.50.0/org/eolang/sys/win32.phi data/0.50.0/org/eolang/true.phi data/0.50.0/org/eolang/try.phi data/0.50.0/org/eolang/tuple.phi + data/0.50.0/org/eolang/txt/regex.phi data/0.50.0/org/eolang/txt/sprintf.phi + data/0.50.0/org/eolang/txt/sscanf.phi + data/0.50.0/org/eolang/txt/text.phi data/0.50.0/org/eolang/while.phi test/eo/phi/rules/new.yaml test/eo/phi/rules/streams.yaml diff --git a/pipeline/config.yaml b/pipeline/config.yaml index 14a17f7c..f016767f 100644 --- a/pipeline/config.yaml +++ b/pipeline/config.yaml @@ -31,16 +31,6 @@ report: dispatches: 0.2 expected-improved-programs-percentage: 0.9 test-sets: -- eo: - original: eo/eo-runtime/src/test/eo/org/eolang/as-phi-tests.eo - yaml: pipeline/eo-yaml/as-phi-tests.yaml - filtered: pipeline/eo-filtered/as-phi-tests.eo - phi: - initial: pipeline/phi-initial/as-phi-tests.phi - normalized: pipeline/phi-normalized/as-phi-tests.phi - bindings-path-initial: org.eolang - bindings-path-normalized: org.eolang - enable: false - eo: original: eo/eo-runtime/src/test/eo/org/eolang/bool-tests.eo yaml: pipeline/eo-yaml/bool-tests.yaml @@ -90,16 +80,6 @@ test-sets: normalized: pipeline/phi-normalized/bytes-tests.phi bindings-path-initial: org.eolang bindings-path-normalized: org.eolang -- eo: - original: eo/eo-runtime/src/test/eo/org/eolang/cage-tests.eo - yaml: pipeline/eo-yaml/cage-tests.yaml - filtered: pipeline/eo-filtered/cage-tests.eo - phi: - initial: pipeline/phi-initial/cage-tests.phi - normalized: pipeline/phi-normalized/cage-tests.phi - bindings-path-initial: org.eolang - bindings-path-normalized: org.eolang - enable: false - eo: original: eo/eo-runtime/src/test/eo/org/eolang/cti-test.eo yaml: pipeline/eo-yaml/cti-test.yaml @@ -235,6 +215,15 @@ test-sets: bindings-path-initial: org.eolang.io bindings-path-normalized: org.eolang.io enable: false +- eo: + original: eo/eo-runtime/src/test/eo/org/eolang/io/console-test.eo + yaml: pipeline/eo-yaml/io/console-test.yaml + filtered: pipeline/eo-filtered/io/console-test.eo + phi: + initial: pipeline/phi-initial/io/console-test.phi + normalized: pipeline/phi-normalized/io/console-test.phi + bindings-path-initial: org.eolang.io + bindings-path-normalized: org.eolang.io - eo: original: eo/eo-runtime/src/test/eo/org/eolang/io/dead-input-tests.eo yaml: pipeline/eo-yaml/io/dead-input-tests.yaml @@ -273,6 +262,15 @@ test-sets: bindings-path-initial: org.eolang.io bindings-path-normalized: org.eolang.io enable: false +- eo: + original: eo/eo-runtime/src/test/eo/org/eolang/io/stdout-test.eo + yaml: pipeline/eo-yaml/io/stdout-test.yaml + filtered: pipeline/eo-filtered/io/stdout-test.eo + phi: + initial: pipeline/phi-initial/io/stdout-test.phi + normalized: pipeline/phi-normalized/io/stdout-test.phi + bindings-path-initial: org.eolang.io + bindings-path-normalized: org.eolang.io - eo: original: eo/eo-runtime/src/test/eo/org/eolang/io/tee-input-tests.eo yaml: pipeline/eo-yaml/io/tee-input-tests.yaml @@ -511,16 +509,6 @@ test-sets: bindings-path-initial: org.eolang bindings-path-normalized: org.eolang enable: false -- eo: - original: eo/eo-runtime/src/test/eo/org/eolang/rust-tests.eo - yaml: pipeline/eo-yaml/rust-tests.yaml - filtered: pipeline/eo-filtered/rust-tests.eo - phi: - initial: pipeline/phi-initial/rust-tests.phi - normalized: pipeline/phi-normalized/rust-tests.phi - bindings-path-initial: org.eolang - bindings-path-normalized: org.eolang - enable: false - eo: original: eo/eo-runtime/src/test/eo/org/eolang/seq-tests.eo yaml: pipeline/eo-yaml/seq-tests.yaml diff --git a/pipeline/pipeline.lock b/pipeline/pipeline.lock index 7f3fefff..ea95a859 100644 --- a/pipeline/pipeline.lock +++ b/pipeline/pipeline.lock @@ -1,2 +1,2 @@ EO_HEAD_HASH="27abe8befa33f8b1e64a89ffb90a015f150f4ec7" -PIPELINE_CONFIG_HASH="14a17f7ccb009770050834eb2f56d12e7052e296" +PIPELINE_CONFIG_HASH="f016767f31a775f4612397745e1be95f868ffc88"