Big interpreter rewrite

.gitignore

@@ -44,4 +44,5 @@ deploy-lock-manual-deploy
 
 clis/
 
-.mono
+.mono
+.fake

Dockerfile

@@ -335,14 +335,14 @@ ENV NUGET_SCRATCH=/tmp/NuGetScratch
 # Emscripten,
 # for compiling the tree-sitter parser to wasm
 #############
-RUN git clone https://github.com/emscripten-core/emsdk.git --depth 1 \
-  && cd emsdk \
-  # TODO pin to a recent stable version (i.e. 3.1.37)
-  # we are using the latest version because Linux arm64 binaries aren't available in all releases.
-  # see: https://github.com/emscripten-core/emscripten/issues/19275
-  && ./emsdk install latest \
-  && ./emsdk activate latest
-ENV PATH="$PATH:/home/dark/emsdk/upstream/emscripten"
+# RUN git clone https://github.com/emscripten-core/emsdk.git --depth 1 \
+#   && cd emsdk \
+#   # TODO pin to a recent stable version (i.e. 3.1.37)
+#   # we are using the latest version because Linux arm64 binaries aren't available in all releases.
+#   # see: https://github.com/emscripten-core/emscripten/issues/19275
+#   && ./emsdk install latest \
+#   && ./emsdk activate latest
+# ENV PATH="$PATH:/home/dark/emsdk/upstream/emscripten"
 
 
 #############

backend/src/BuiltinCli/Libs/Directory.fs

@@ -6,7 +6,7 @@ open FSharp.Control.Tasks
 
 open Prelude
 open LibExecution.RuntimeTypes
-module VT = ValueType
+module VT = LibExecution.ValueType
 module Dval = LibExecution.Dval
 module Builtin = LibExecution.Builtin
 open Builtin.Shortcuts
@@ -20,7 +20,7 @@ let fns : List<BuiltInFn> =
       description = "Returns the current working directory"
       fn =
         (function
-        | _, _, [ DUnit ] ->
+        | _, _, _, [ DUnit ] ->
           uply {
             let contents = System.IO.Directory.GetCurrentDirectory()
             return DString contents
@@ -41,7 +41,7 @@ let fns : List<BuiltInFn> =
         let resultOk r = Dval.resultOk KTUnit KTString r |> Ply
         let resultError r = Dval.resultError KTUnit KTString r |> Ply
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           try
             System.IO.Directory.CreateDirectory(path)
             |> ignore<System.IO.DirectoryInfo>
@@ -64,7 +64,7 @@ let fns : List<BuiltInFn> =
         let resultOk r = Dval.resultOk KTUnit KTString r |> Ply
         let resultError r = Dval.resultError KTUnit KTString r |> Ply
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           try
             System.IO.Directory.Delete(path, false)
             resultOk DUnit
@@ -83,7 +83,7 @@ let fns : List<BuiltInFn> =
       description = "Returns the directory at <param path>"
       fn =
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             // TODO make async
             let contents =

backend/src/BuiltinCli/Libs/Environment.fs

@@ -7,7 +7,7 @@ open FSharp.Control.Tasks
 open Prelude
 open LibExecution.RuntimeTypes
 
-module VT = ValueType
+module VT = LibExecution.ValueType
 module Dval = LibExecution.Dval
 module Builtin = LibExecution.Builtin
 open Builtin.Shortcuts
@@ -22,7 +22,7 @@ let fns : List<BuiltInFn> =
         "Gets the value of the environment variable with the given <param varName> if it exists."
       fn =
         (function
-        | _, _, [ DString varName ] ->
+        | _, _, _, [ DString varName ] ->
           let envValue = System.Environment.GetEnvironmentVariable(varName)
 
           if isNull envValue then
@@ -43,7 +43,7 @@ let fns : List<BuiltInFn> =
         "Returns a list of tuples containing all the environment variables and their values."
       fn =
         (function
-        | _, _, [ DUnit ] ->
+        | _, _, _, [ DUnit ] ->
           let envVars = System.Environment.GetEnvironmentVariables()
 
           let envMap =

backend/src/BuiltinCli/Libs/Execution.fs

@@ -26,7 +26,7 @@ let fns : List<BuiltInFn> =
       returnType = TCustomType(Ok executionOutcomeTypeName, [])
       fn =
         (function
-        | _, _, [ DString command ] ->
+        | _, _, _, [ DString command ] ->
           let command =
             command.Replace(
               "$HOME",
@@ -37,14 +37,15 @@ let fns : List<BuiltInFn> =
             if RuntimeInformation.IsOSPlatform OSPlatform.Windows then
               "cmd.exe", $"/c {command}"
             // TODO: run in whatever the default shell is -- not just bash.
-            else if
-              RuntimeInformation.IsOSPlatform OSPlatform.Linux
-              || RuntimeInformation.IsOSPlatform OSPlatform.OSX
-            then
-              "/bin/bash", $"-c \"{command}\""
             else
-              "Executing CLI commands is not supported for your operating system (Linux, Windows, or Mac not detected)"
-              |> raiseUntargetedString
+              // if
+              //   RuntimeInformation.IsOSPlatform OSPlatform.Linux
+              //   || RuntimeInformation.IsOSPlatform OSPlatform.OSX
+              //then
+              "/bin/bash", $"-c \"{command}\""
+          // else
+          //   "Executing CLI commands is not supported for your operating system (Linux, Windows, or Mac not detected)"
+          //   |> raiseUntargetedString
 
           let psi =
             System.Diagnostics.ProcessStartInfo(

backend/src/BuiltinCli/Libs/File.fs

@@ -22,7 +22,7 @@ let fns : List<BuiltInFn> =
         let resultOk = Dval.resultOk (KTList(ValueType.Known KTUInt8)) KTString
         let resultError = Dval.resultError (KTList(ValueType.Known KTUInt8)) KTString
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             try
               let path =
@@ -53,7 +53,7 @@ let fns : List<BuiltInFn> =
         let resultOk = Dval.resultOk KTUnit KTString
         let resultError = Dval.resultError KTUnit KTString
         (function
-        | _, _, [ DList(_, contents); DString path ] ->
+        | _, _, _, [ DList(_, contents); DString path ] ->
           uply {
             try
               let path =
@@ -65,7 +65,7 @@ let fns : List<BuiltInFn> =
               do!
                 System.IO.File.WriteAllBytesAsync(
                   path,
-                  Dval.DlistToByteArray contents
+                  Dval.dlistToByteArray contents
                 )
               return resultOk DUnit
             with e ->
@@ -84,7 +84,7 @@ let fns : List<BuiltInFn> =
       description = "Deletes the file specified by <param path>"
       fn =
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             try
               System.IO.File.Delete path
@@ -112,7 +112,7 @@ let fns : List<BuiltInFn> =
         let resultOk = Dval.resultOk KTUnit KTString
         let resultError = Dval.resultError KTUnit KTString
         (function
-        | _, _, [ DString path; DString content ] ->
+        | _, _, _, [ DString path; DString content ] ->
           uply {
             try
               do! System.IO.File.AppendAllTextAsync(path, content)
@@ -136,7 +136,7 @@ let fns : List<BuiltInFn> =
         let resultOk r = Dval.resultOk KTString KTString r |> Ply
         let resultError r = Dval.resultError KTString KTString r |> Ply
         (function
-        | _, _, [ DUnit ] ->
+        | _, _, _, [ DUnit ] ->
           try
             let tempPath = System.IO.Path.GetTempFileName()
             resultOk (DString tempPath)
@@ -156,7 +156,7 @@ let fns : List<BuiltInFn> =
         "Returns true if the file specified by <param path> is a directory, or false if it is a file or does not exist"
       fn =
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             try
               let attrs = System.IO.File.GetAttributes(path)
@@ -179,7 +179,7 @@ let fns : List<BuiltInFn> =
         "Returns true if the file specified by <param path> is a normal file (not a directory), or false if it is a directory or does not exist"
       fn =
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             try
               let attrs = System.IO.File.GetAttributes(path)
@@ -204,7 +204,7 @@ let fns : List<BuiltInFn> =
         "Returns true if a file or directory exists at the specified <param path>, or false otherwise"
       fn =
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           uply {
             try
               let exists =
@@ -229,7 +229,7 @@ let fns : List<BuiltInFn> =
         let resultOk r = Dval.resultOk KTInt64 KTString r |> Ply
         let resultError r = Dval.resultError KTInt64 KTString r |> Ply
         (function
-        | _, _, [ DString path ] ->
+        | _, _, _, [ DString path ] ->
           try
             let fileInfo = System.IO.FileInfo(path)
             resultOk (DInt64 fileInfo.Length)

backend/src/BuiltinCli/Libs/LanguageServerProtocol.fs

@@ -20,7 +20,7 @@ let fns : List<BuiltInFn> =
       description = "Reads a single incoming request from an LSP client, over stdin."
       fn =
         (function
-        | _, _, [ DUnit ] ->
+        | _, _, _, [ DUnit ] ->
           let tryReadHeader (input : StreamReader) =
             let mutable contentLength = None
             let mutable complete = false

backend/src/BuiltinCli/Libs/Output.fs

@@ -20,7 +20,7 @@ let fns : List<BuiltInFn> =
         "Prints the given <param value> to the standard output, followed by a newline."
       fn =
         (function
-        | _, _, [ DString str ] ->
+        | _, _, _, [ DString str ] ->
           print str
           Ply DUnit
         | _ -> incorrectArgs ())
@@ -36,7 +36,7 @@ let fns : List<BuiltInFn> =
       description = "Prints the given <param value> to the standard output."
       fn =
         (function
-        | _, _, [ DString str ] ->
+        | _, _, _, [ DString str ] ->
           printInline str
           Ply DUnit
         | _ -> incorrectArgs ())

backend/src/BuiltinCli/Libs/Stdin.fs

@@ -15,7 +15,7 @@ let fns : List<BuiltInFn> =
       description = "Reads a single line from the standard input."
       fn =
         (function
-        | _, _, [ DUnit ] ->
+        | _, _, _, [ DUnit ] ->
           let input = System.Console.ReadLine()
           Ply(DString input)
         | _ -> incorrectArgs ())

backend/src/BuiltinCli/Libs/Time.fs

@@ -18,7 +18,7 @@ let fns : List<BuiltInFn> =
       description = "Sleeps for the given <param delayInMs> milliseconds."
       fn =
         (function
-        | _, _, [ DFloat delay ] ->
+        | _, _, _, [ DFloat delay ] ->
           uply {
             let delay = System.TimeSpan.FromMilliseconds delay
             do! Task.Delay(delay)