Checked dada

.cargo/config.toml

@@ -1,3 +1,3 @@
 [alias]
-xtask = "run --package xtask --"
+xtask = "run -q --package xtask --"
 dada = "run -q --package dada --"

.devcontainer/Dockerfile

@@ -0,0 +1,22 @@
+# Use the Debian base image
+FROM mcr.microsoft.com/devcontainers/base:bookworm
+
+# Install Node.js
+RUN curl -fsSL https://deb.nodesource.com/setup_16.x | bash - \
+    && apt-get install -y nodejs
+
+# Install additional tools or dependencies if needed
+RUN npm install -g yo generator-code
+
+# Install OpenSSH client
+RUN apt-get update && apt-get install -y openssh-client
+
+USER vscode
+
+# Install Rust and the wasm32-wasip1-threads target
+RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
+ENV PATH="/home/vscode/.cargo/bin:${PATH}"
+RUN rustup install nightly-2025-03-01
+RUN rustup target add wasm32-wasip1-threads
+
+

.devcontainer/devcontainer.json

@@ -0,0 +1,41 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/debian
+{
+	"name": "Debian",
+	"build": {
+		"dockerfile": "Dockerfile"
+	},
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"ms-vscode.wasm-wasi-core",
+				"dbaeumer.vscode-eslint",
+				"ms-vscode.extension-test-runner",
+				"rust-lang.rust-analyzer",
+				// for editing Dockerfile
+				"ms-azuretools.vscode-docker",
+				// for browsing tet reports
+				"iliazeus.vscode-ansi",
+				// this is Niko's personal preference, is there a way to factor it out?
+				"kahole.magit"
+			]
+		}
+	},
+	"mounts": [
+		"source=${localEnv:HOME}/.ssh,target=/home/vscode/.ssh,type=bind"
+	]
+	// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
+	//"image": "mcr.microsoft.com/devcontainers/base:bookworm",
+	//"features": {
+	//	"ghcr.io/devcontainers/features/node:1": {},
+	//	"ghcr.io/devcontainers/features/rust:1": {},
+	//	"devwasm.azurecr.io/dev-wasm/dev-wasm-feature/rust-wasi:0": {}
+	//}
+	// Features to add to the dev container. More info: https://containers.dev/features.
+	// "features": {},
+	// Use 'forwardPorts' to make a list of ports inside the container available locally.
+	// Configure tool-specific properties.
+	// "customizations": {},
+	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
+	// "remoteUser": "root"
+}

.gitignore

@@ -1,9 +1,11 @@
 target
 .vscode
 playground
+dada_debug
 
 # Internal IR files used for debugging
 syntax.debug
 validated.debug
 bir.debug
 lsp.debug
+dada_debug.*

.vscode/launch.json

@@ -4,10 +4,11 @@
     // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
     "version": "0.2.0",
     "configurations": [
+
         {
             "type": "lldb",
             "request": "launch",
-            "name": "Debug executable 'dada' on hello-world",
+            "name": "Debug executable 'dada' on a test",
             "cargo": {
                 "args": [
                     "build",
@@ -20,8 +21,8 @@
                 }
             },
             "args": [
-                "check",
-                "dada_tests/hello_world.dada"
+                "compile",
+                "${input:enterProgram}"
             ],
             "cwd": "${workspaceFolder}"
         },
@@ -46,5 +47,13 @@
               "__DADA_LSP_SERVER_DEBUG": "${workspaceFolder}/target/debug/dada"
             }
           },
+    ],
+    "inputs": [
+      {
+        "id": "enterProgram",
+        "type": "promptString",
+        "description": "Program to compile",
+        "default": "tests/"
+      }
     ]
 }