Merge branch 'master' into afromher_rust2

Author: R1kM

flake.nix

@@ -6,7 +6,7 @@
   };
 
   outputs = { self, fstar, flake-utils, nixpkgs }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+    flake-utils.lib.eachDefaultSystem (system:
       let
         fstarPackages = fstar.packages.${system};
         pkgs = import nixpkgs { inherit system; };

lib/AstToMiniRust.ml

@@ -767,6 +767,12 @@ and translate_expr_with_type (env: env) (e: Ast.expr) (t_ret: MiniRust.typ): env
       let env, e2 = translate_expr env e2 in
       env, MethodCall (e1, ["split_at"], [ e2 ])
 
+  | EApp ({ node = ETApp ({ node = EQualified (["Pulse"; "Lib"; "Slice"], "subslice"); _ }, [], [], [_]); _ }, [e1; e2; e3]) ->
+      let env, e1 = translate_expr env e1 in
+      let env, e2 = translate_expr env e2 in
+      let env, e3 = translate_expr env e3 in
+      env, Borrow (Shared, Index (e1, Range (Some e2, Some e3, false)))
+
   | EApp ({ node = ETApp ({ node = EQualified (["Pulse"; "Lib"; "Slice"], "copy"); _ }, [], [], _); _ }, [e1; e2]) ->
       let env, e1 = translate_expr env e1 in
       let env, e2 = translate_expr env e2 in

misc/cl-wrapper.bat

@@ -1,6 +1,16 @@
 @echo off
 
-IF NOT "%VS150COMNTOOLS%"=="" (
+REM Crazy rules in batch mean we need this and also using !varsall! in
+REM the first block below to get the updated value for the variable.
+setlocal EnableDelayedExpansion
+
+IF exist "%ProgramFiles(x86)%\Microsoft Visual Studio\Installer\vswhere.exe" (
+  REM Tip: if you start seeing "The input line is too long", while debugging
+  REM this script, restart your shell, vcvarsall just keeps stupidly expanding
+  REM some env variables
+  FOR /F "tokens=*" %%i IN ('"%ProgramFiles(x86)%\Microsoft Visual Studio\Installer\vswhere.exe" -latest -find **/vcvarsall.bat') DO set varsall=%%i
+  call "!varsall!" amd64
+) ELSE IF NOT "%VS150COMNTOOLS%"=="" (
   call "%VS150COMNTOOLS%/../../VC/vcvarsall.bat" amd64
 ) ELSE IF NOT "%VS140COMNTOOLS%"=="" (
   call "%VS140COMNTOOLS%/../../VC/vcvarsall.bat" amd64