minimal

Author: dezren39

pkgs/roc/applications/hello/rust-minimal-cli/main.roc

@@ -10,4 +10,4 @@ main! = |_|
     line!(hello language)?
     line!("Roc ❤️  ${language}")?
     line!(hello!(user)?)?
-    Ok({})
+    Ok

pkgs/roc/platforms/rust-minimal-cli/build

@@ -1,32 +1,6 @@
 module [
-    Arg,
-    display,
-    to_os_raw,
     from_os_raw,
 ]
 Arg := [Unix (List U8), Windows (List U16)]
-    implements [Eq, Inspect { to_inspector: arg_inspector }]
-arg_inspector : Arg -> Inspector f where f implements InspectFormatter
-arg_inspector = |arg| Inspect.str(display(arg))
-test_hello : Arg
-test_hello = Arg.from_os_raw(Unix([72, 101, 108, 108, 111]))
-expect Arg.display(test_hello) == "Hello"
-expect Inspect.to_str(test_hello) == "\"Hello\""
-to_os_raw : Arg -> [Unix (List U8), Windows (List U16)]
-to_os_raw = |@Arg(inner)| inner
 from_os_raw : [Unix (List U8), Windows (List U16)] -> Arg
 from_os_raw = @Arg
-display : Arg -> Str
-display = |@Arg(inner)|
-    when inner is
-        Unix(bytes) ->
-            # TODO replace with Str.from_utf8_lossy : List U8 -> Str
-            # see https://github.com/roc-lang/roc/issues/7390
-            when Str.from_utf8(bytes) is
-                Ok(str) -> str
-                Err(_) -> crash("tried to display Arg containing invalid utf-8")
-
-        Windows(_) ->
-            # TODO replace with Str.from_utf16_lossy : List U16 -> Str
-            # see https://github.com/roc-lang/roc/issues/7390
-            crash("display for utf-16 Arg not yet supported")

pkgs/roc/platforms/rust-minimal-cli/platform/Arg.roc

@@ -1,4 +1,4 @@
-module [ArgToAndFromHost, to_os_raw]
+module [to_os_raw]
 ArgToAndFromHost := {
     type : [Unix, Windows],
     unix : List U8,

pkgs/roc/platforms/rust-minimal-cli/platform/InternalArg.roc

@@ -4,22 +4,10 @@ module [
 ]
 import Host
 import InternalIOErr
-handle_err : InternalIOErr.IOErrFromHost -> [StdoutErr InternalIOErr.IOErr]
-handle_err = |{ tag, msg }|
-    when tag is
-        NotFound -> StdoutErr(NotFound)
-        PermissionDenied -> StdoutErr(PermissionDenied)
-        BrokenPipe -> StdoutErr(BrokenPipe)
-        AlreadyExists -> StdoutErr(AlreadyExists)
-        Interrupted -> StdoutErr(Interrupted)
-        Unsupported -> StdoutErr(Unsupported)
-        OutOfMemory -> StdoutErr(OutOfMemory)
-        Other | EndOfFile -> StdoutErr(Other(msg))
-line! : Str => Result {} [StdoutErr InternalIOErr.IOErr]
+handle_err = |io_err_from_host| StdoutErr InternalIOErr.handle_err(io_err_from_host)
 line! = |str|
     Host.stdout_line!(str)
     |> Result.map_err(handle_err)
-hello! : Str => Result Str [StdoutErr InternalIOErr.IOErr]
 hello! = |str|
     Host.hello!(str)
     |> Result.map_err(handle_err)