{
+ const session = e.detail;
+ const updated_ids: number[] = [];
+ for (const [id, _] of session.programs) {
+ updated_ids.push(id);
+ that.createOrSetSession(id, session.programs.get(id));
+ }
+ that.activateSession(that.active_session);
+ for (const [id, _] of that.sessions) {
+ if (!updated_ids.includes(id)) {
+ that.destroySession(id);
+ }
+ }
+ }) as EventListener);
+ App.session.loadFromFragment();
+
+ App.session.onActiveLine(((e: CustomEvent) => {
+ const session = e.detail;
+ for (const id of session.programs.keys()) {
+ const active_line = session.getActiveLine(id);
+ if (typeof active_line !== "undefined") {
+ const marker = that.active_line_markers.get(id);
+ if (marker) {
+ that.sessions.get(id)?.removeMarker(marker);
+ that.active_line_markers.set(id, null);
+ }
+ const session = that.sessions.get(id);
+ if (session) {
+ that.active_line_markers.set(
+ id,
+ session.addMarker(
+ new Range(active_line, 0, active_line, 1),
+ "vm_ic_active_line",
+ "fullLine",
+ true,
+ ),
+ );
+ if (that.active_session == id) {
+ // editor.resize(true);
+ // TODO: Scroll to line if vm was stepped
+ //that.editor.scrollToLine(active_line, true, true, ()=>{})
+ }
+ }
+ }
+ }
+ }) as EventListener);
}
initializeEditor() {
@@ -303,7 +494,7 @@ class IC10Editor extends BaseElement {
{ root: null },
);
this.vScrollbarObserver.observe(
- this.shadowRoot.querySelector(".ace_scrollbar-v"),
+ this.shadowRoot?.querySelector(".ace_scrollbar-v") as Element,
);
this.hScrollbarObserver = new IntersectionObserver(
@@ -311,7 +502,7 @@ class IC10Editor extends BaseElement {
{ root: null },
);
this.hScrollbarObserver.observe(
- this.shadowRoot.querySelector(".ace_scrollbar-h"),
+ this.shadowRoot?.querySelector(".ace_scrollbar-h"),
);
}
@@ -332,7 +523,7 @@ class IC10Editor extends BaseElement {
/** @private */
_vScrollbarHandler() {
- var vScrollbar = this.shadowRoot.querySelector(
+ var vScrollbar = this.shadowRoot?.querySelector(
".ace_scrollbar-v",
) as HTMLDivElement;
if (vScrollbar.style.display === "none") {
@@ -348,7 +539,7 @@ class IC10Editor extends BaseElement {
/** @private */
_hScrollbarHandler() {
- var hScrollbar = this.shadowRoot.querySelector(
+ var hScrollbar = this.shadowRoot?.querySelector(
".ace_scrollbar-h",
) as HTMLDivElement;
if (hScrollbar.style.display === "none") {
@@ -400,7 +591,7 @@ class IC10Editor extends BaseElement {
if (!this.sessions.hasOwnProperty(session_id)) {
this.newSession(session_id);
}
- this.sessions.get(session_id).setValue(content);
+ this.sessions.get(session_id)?.setValue(content);
}
newSession(session_id: number) {
@@ -424,15 +615,18 @@ class IC10Editor extends BaseElement {
};
// Create a language provider for web worker
this.languageProvider = AceLanguageClient.for(serverData as any);
- (this.languageProvider as any).registerEditor(this.editor);
-
+ this.languageProvider.registerEditor(this.editor);
}
activateSession(session_id: number) {
if (!this.sessions.get(session_id)) {
return false;
}
- this.editor.setSession(this.sessions.get(session_id));
+ const session = this.sessions.get(session_id);
+ this.editor?.setSession(session);
+ const mode = ace.require(this.mode);
+ const options = mode?.options ?? {};
+ this.languageProvider?.setSessionOptions(session, options)
this.active_session = session_id;
return true;
}
@@ -467,16 +661,16 @@ class IC10Editor extends BaseElement {
if ((this.active_session = session_id)) {
this.activateSession(this.sessions.entries().next().value);
}
- session.destroy();
+ session?.destroy();
return true;
}
- bindSession(session_id: number, session: ace.Ace.EditSession) {
- session.on("change", () => {
- var val = session.getValue();
- window.App.session.setProgramCode(session_id, val);
- });
+ bindSession(session_id: number, session?: ace.Ace.EditSession) {
+ if (session) {
+ session.on("change", () => {
+ var val = session.getValue();
+ window.App?.session.setProgramCode(session_id, val);
+ });
+ }
}
}
-
-export { IC10Editor };
diff --git a/www/src/js/index.ts b/www/src/js/index.ts
index ffd02cf..0031a83 100644
--- a/www/src/js/index.ts
+++ b/www/src/js/index.ts
@@ -29,59 +29,59 @@ window.App = App;
// const dbPromise = fetch("/data/database.json").then(resp => resp.json());
const dbPromise = import("../../data/database.json");
-docReady(() => {
- App.vm = new VirtualMachine();
-
- dbPromise.then((db) => App.vm.setupDeviceDatabase(db));
-
- const init_session_id = App.vm.devices.get(0).id;
-
- // App.editor = new IC10Editor(init_session_id);
-
- // setupLspWorker().then((worker) => {
- // App.editor.setupLsp(worker);
- // });
-
- // Menu
- document.getElementById("mainMenuShare").addEventListener(
- "click",
- (_event) => {
- const link = document.getElementById("shareLinkText") as HTMLInputElement;
- link.setAttribute("value", window.location.href);
- link.setSelectionRange(0, 0);
- },
- { capture: true },
- );
- document.getElementById("shareLinkCopyButton").addEventListener(
- "click",
- (event) => {
- event.preventDefault();
- const link = document.getElementById("shareLinkText") as HTMLInputElement;
- link.select();
- link.setSelectionRange(0, 99999);
- navigator.clipboard.writeText(link.value);
- },
- { capture: true },
- );
- document.getElementById("mainMenuOpenFile").addEventListener(
- "click",
- (_event) => {
- openFile(App.editor.editor);
- },
- { capture: true },
- );
- document.getElementById("mainMenuSaveAs").addEventListener(
- "click",
- (_event) => {
- saveFile(App.editor.editor.getSession().getValue());
- },
- { capture: true },
- );
- document.getElementById("mainMenuKeyboardShortcuts").addEventListener(
- "click",
- (_event) => {
- App.editor.editor.execCommand("showKeyboardShortcuts");
- },
- { capture: true },
- );
-});
+// docReady(() => {
+// App.vm = new VirtualMachine();
+//
+// dbPromise.then((db) => App.vm.setupDeviceDatabase(db));
+//
+// const init_session_id = App.vm.devices.get(0).id;
+//
+// // App.editor = new IC10Editor(init_session_id);
+//
+// // setupLspWorker().then((worker) => {
+// // App.editor.setupLsp(worker);
+// // });
+//
+// // Menu
+// document.getElementById("mainMenuShare").addEventListener(
+// "click",
+// (_event) => {
+// const link = document.getElementById("shareLinkText") as HTMLInputElement;
+// link.setAttribute("value", window.location.href);
+// link.setSelectionRange(0, 0);
+// },
+// { capture: true },
+// );
+// document.getElementById("shareLinkCopyButton").addEventListener(
+// "click",
+// (event) => {
+// event.preventDefault();
+// const link = document.getElementById("shareLinkText") as HTMLInputElement;
+// link.select();
+// link.setSelectionRange(0, 99999);
+// navigator.clipboard.writeText(link.value);
+// },
+// { capture: true },
+// );
+// document.getElementById("mainMenuOpenFile").addEventListener(
+// "click",
+// (_event) => {
+// openFile(App.editor.editor);
+// },
+// { capture: true },
+// );
+// document.getElementById("mainMenuSaveAs").addEventListener(
+// "click",
+// (_event) => {
+// saveFile(App.editor.editor.getSession().getValue());
+// },
+// { capture: true },
+// );
+// document.getElementById("mainMenuKeyboardShortcuts").addEventListener(
+// "click",
+// (_event) => {
+// App.editor.editor.execCommand("showKeyboardShortcuts");
+// },
+// { capture: true },
+// );
+// });
diff --git a/www/src/js/session.ts b/www/src/js/session.ts
index f3be3f4..e358de7 100644
--- a/www/src/js/session.ts
+++ b/www/src/js/session.ts
@@ -1,4 +1,3 @@
-
const demoCode = `# Highlighting Demo
# This is a comment
@@ -59,32 +58,28 @@ test:
add r15 r15 1
j ra
-`
+`;
-interface SessionCbFn {
- (param: Session): void;
+interface CustomEvent extends Event {
+ detail: string
}
-class Session extends EventTarget {
+export class Session extends EventTarget {
_programs: Map
;
- _onLoadCallbacks: SessionCbFn[];
_activeSession: number;
_activeLines: Map;
- _onActiveLineCallbacks: SessionCbFn[];
_activeLine: number;
- private _save_timeout: ReturnType;
+ _save_timeout?: ReturnType;
constructor() {
super();
this._programs = new Map();
- this._save_timeout = null;
- this._onLoadCallbacks = [];
+ this._save_timeout = undefined;
this._activeSession = 0;
this._activeLines = new Map();
- this._onActiveLineCallbacks = [];
this.loadFromFragment();
const that = this;
- window.addEventListener('hashchange', (_event) => {
+ window.addEventListener("hashchange", (_event) => {
that.loadFromFragment();
});
}
@@ -119,24 +114,28 @@ class Session extends EventTarget {
this.save();
}
- onLoad(callback: SessionCbFn) {
- this._onLoadCallbacks.push(callback);
+ onLoad(callback: EventListenerOrEventListenerObject) {
+ this.addEventListener("session-load", callback);
}
_fireOnLoad() {
- for (const callback of this._onLoadCallbacks) {
- callback(this);
- }
+ this.dispatchEvent(
+ new CustomEvent("session-load", {
+ detail: this,
+ }),
+ );
}
- onActiveLine(callback: SessionCbFn) {
- this._onActiveLineCallbacks.push(callback);
+ onActiveLine(callback: EventListenerOrEventListenerObject) {
+ this.addEventListener("active-line", callback);
}
_fireOnActiveLine() {
- for (const callback of this._onActiveLineCallbacks) {
- callback(this);
- }
+ this.dispatchEvent(
+ new CustomEvent("activeLine", {
+ detail: this,
+ }),
+ );
}
save() {
@@ -146,7 +145,7 @@ class Session extends EventTarget {
if (window.App.vm) {
window.App.vm.updateCode();
}
- this._save_timeout = null;
+ this._save_timeout = undefined;
}, 1000);
}
@@ -161,7 +160,6 @@ class Session extends EventTarget {
console.log("Error compressing content fragment:", e);
return;
}
-
}
async loadFromFragment() {
@@ -177,7 +175,8 @@ class Session extends EventTarget {
if (bytes !== null) {
const txt = new TextDecoder().decode(bytes);
const data = getJson(txt);
- if (data === null) { // backwards compatible
+ if (data === null) {
+ // backwards compatible
this._programs = new Map([[0, txt]]);
this, this._fireOnLoad();
return;
@@ -192,7 +191,6 @@ class Session extends EventTarget {
}
}
}
-
}
async function decompressFragment(c_bytes: ArrayBuffer) {
try {
@@ -223,26 +221,31 @@ async function* streamAsyncIterator(stream: ReadableStream) {
if (done) return;
yield value;
}
- }
- finally {
+ } finally {
reader.releaseLock();
}
}
function base64url_encode(buffer: ArrayBuffer) {
- return btoa(Array.from(new Uint8Array(buffer), b => String.fromCharCode(b)).join(''))
- .replace(/\+/g, '-')
- .replace(/\//g, '_')
- .replace(/=+$/, '');
+ return btoa(
+ Array.from(new Uint8Array(buffer), (b) => String.fromCharCode(b)).join(""),
+ )
+ .replace(/\+/g, "-")
+ .replace(/\//g, "_")
+ .replace(/=+$/, "");
}
function base64url_decode(value: string): ArrayBuffer {
const m = value.length % 4;
- return Uint8Array.from(atob(
- value.replace(/-/g, '+')
- .replace(/_/g, '/')
- .padEnd(value.length + (m === 0 ? 0 : 4 - m), '=')
- ), c => c.charCodeAt(0)).buffer
+ return Uint8Array.from(
+ atob(
+ value
+ .replace(/-/g, "+")
+ .replace(/_/g, "/")
+ .padEnd(value.length + (m === 0 ? 0 : 4 - m), "="),
+ ),
+ (c) => c.charCodeAt(0),
+ ).buffer;
}
async function concatUintArrays(arrays: Uint8Array[]) {
@@ -253,10 +256,8 @@ async function concatUintArrays(arrays: Uint8Array[]) {
async function compress(bytes: ArrayBuffer) {
const s = new Blob([bytes]).stream();
- const cs = s.pipeThrough(
- new CompressionStream('deflate-raw')
- );
- const chunks = [];
+ const cs = s.pipeThrough(new CompressionStream("deflate-raw"));
+ const chunks: Uint8Array[] = [];
for await (const chunk of streamAsyncIterator(cs)) {
chunks.push(chunk);
}
@@ -265,14 +266,11 @@ async function compress(bytes: ArrayBuffer) {
async function decompress(bytes: ArrayBuffer) {
const s = new Blob([bytes]).stream();
- const ds = s.pipeThrough(
- new DecompressionStream('deflate-raw')
- );
- const chunks = [];
+ const ds = s.pipeThrough(new DecompressionStream("deflate-raw"));
+ const chunks: Uint8Array[] = [];
for await (const chunk of streamAsyncIterator(ds)) {
chunks.push(chunk);
}
return await concatUintArrays(chunks);
}
-export { Session, SessionCbFn };
diff --git a/www/src/scss/dark.scss b/www/src/scss/dark.scss
index d45c44b..e5c2bd3 100644
--- a/www/src/scss/dark.scss
+++ b/www/src/scss/dark.scss
@@ -18,17 +18,6 @@ body {
box-shadow: 2px 3px 5px rgba(0, 0, 0, 0.51);
}
-.ace_status-indicator {
- color: #dee2e6;
- position: relative;
- bottom: 4px;
- border-left: 1px solid;
- border-right: 1px solid;
- height: 20px;
- float: right;
- padding-left: 5px;
- padding-right: 5px;
-}
#ace_settingsmenu,
#kbshortcutmenu {
@@ -107,191 +96,6 @@ body {
box-shadow: 0px 2px 3px 0px #555;
}
-/* ------------------------------------------------------------------------------------------
-* Editor Search Form
-* --------------------------------------------------------------------------------------- */
-.ace_search {
- background-color: #2b3035;
- color: #dee2e6;
- border: 1px solid #495057;
- border-top: 0 none;
- overflow: hidden;
- margin: 0;
- padding: 4px 6px 0 4px;
- position: absolute;
- top: 0;
- z-index: 99;
- white-space: normal;
-}
-
-.ace_search.left {
- border-left: 0 none;
- border-radius: 0px 0px 5px 0px;
- left: 0;
-}
-
-.ace_search.right {
- border-radius: 0px 0px 0px 5px;
- border-right: 0 none;
- right: 0;
-}
-
-.ace_search_form,
-.ace_replace_form {
- margin: 0 20px 4px 0;
- overflow: hidden;
- line-height: 1.9;
-}
-
-.ace_replace_form {
- margin-right: 0;
-}
-
-.ace_search_form.ace_nomatch {
- outline: 1px solid red;
-}
-
-.ace_search_field {
- border-radius: 3px 0 0 3px;
- background-color: #343a40;
- color: #dee2e6;
- border: 1px solid #41464b;
- border-right: 0 none;
- outline: 0;
- padding: 0;
- font-size: inherit;
- margin: 0;
- line-height: inherit;
- padding: 0 6px;
- min-width: 17em;
- vertical-align: top;
- min-height: 1.8em;
- box-sizing: content-box;
-}
-
-.ace_searchbtn {
- border: 1px solid #6c757d;
- line-height: inherit;
- display: inline-block;
- padding: 0 6px;
- background: #343a40;
- border-right: 0 none;
- border-left: 1px solid #6c757d;
- ;
- cursor: pointer;
- margin: 0;
- position: relative;
- color: #fff;
-}
-
-.ace_searchbtn:last-child {
- border-radius: 0 3px 3px 0;
- border-right: 1px solid #6c757d;
-}
-
-.ace_searchbtn:disabled {
- background: none;
- cursor: default;
-}
-
-.ace_searchbtn:hover {
- background-color: #161719;
-}
-
-.ace_searchbtn.prev,
-.ace_searchbtn.next {
- padding: 0px 0.7em
-}
-
-.ace_searchbtn.prev:after,
-.ace_searchbtn.next:after {
- content: "";
- border: solid 2px #6c757d;
- width: 0.5em;
- height: 0.5em;
- border-width: 2px 0 0 2px;
- display: inline-block;
- transform: rotate(-45deg);
-}
-
-.ace_searchbtn.next:after {
- border-width: 0 2px 2px 0;
-}
-
-.ace_searchbtn_close {
- background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAcCAYAAABRVo5BAAAAZ0lEQVR42u2SUQrAMAhDvazn8OjZBilCkYVVxiis8H4CT0VrAJb4WHT3C5xU2a2IQZXJjiQIRMdkEoJ5Q2yMqpfDIo+XY4k6h+YXOyKqTIj5REaxloNAd0xiKmAtsTHqW8sR2W5f7gCu5nWFUpVjZwAAAABJRU5ErkJggg==) no-repeat 50% 0;
- border-radius: 50%;
- border: 0 none;
- color: #343a40;
- cursor: pointer;
- font: 16px/16px Arial;
- padding: 0;
- height: 14px;
- width: 14px;
- top: 9px;
- right: 7px;
- position: absolute;
-}
-
-.ace_searchbtn_close:hover {
- background-color: #656565;
- background-position: 50% 100%;
- color: white;
-}
-
-.ace_button {
- background-color: #343a40;
- margin-left: 2px;
- cursor: pointer;
- -webkit-user-select: none;
- -moz-user-select: none;
- -o-user-select: none;
- -ms-user-select: none;
- user-select: none;
- overflow: hidden;
- opacity: 0.7;
- border: 1px solid #6c757d;
- padding: 1px;
- box-sizing: border-box !important;
- color: #fff;
-}
-
-.ace_button:hover {
- background-color: #161719;
- opacity: 1;
-}
-
-.ace_button:active {
- background-color: #6c757d;
- ;
-}
-
-.ace_button.checked {
- background-color: #6c757d;
- border-color: #6c757d;
- opacity: 1;
-}
-
-.ace_search_options {
- margin-bottom: 3px;
- text-align: right;
- -webkit-user-select: none;
- -moz-user-select: none;
- -o-user-select: none;
- -ms-user-select: none;
- user-select: none;
- clear: both;
-}
-
-.ace_search_counter {
- float: left;
- font-family: arial;
- padding: 0 8px;
-}
-
-/* ----------------
-* End Ace Search
-* --------------- */
code {
// color: #e685b5
diff --git a/www/tsconfig.json b/www/tsconfig.json
index 90d4261..1c00702 100644
--- a/www/tsconfig.json
+++ b/www/tsconfig.json
@@ -4,7 +4,7 @@
"sourceMap": true,
"noImplicitAny": true,
"module": "es2022",
- "target": "es2020",
+ "target": "es2021",
"allowJs": true,
"moduleResolution": "bundler",
"resolveJsonModule": true,
@@ -14,5 +14,6 @@
"name": "ts-lit-plugin"
}
]
- }
+ },
+ "include": ["node_modules/lit-scss-loader/types.d.ts"]
}
diff --git a/www/webpack.config.js b/www/webpack.config.js
index f92b13f..3985e5f 100644
--- a/www/webpack.config.js
+++ b/www/webpack.config.js
@@ -1,9 +1,9 @@
const CopyWebpackPlugin = require("copy-webpack-plugin");
-const HtmlWebpackPlugin = require('html-webpack-plugin');
-const miniCssExtractPlugin = require('mini-css-extract-plugin');
+const HtmlWebpackPlugin = require("html-webpack-plugin");
+const miniCssExtractPlugin = require("mini-css-extract-plugin");
+const { SourceMap } = require("module");
-
-const path = require('path');
+const path = require("path");
module.exports = {
entry: "./src/js/main.ts",
@@ -13,67 +13,83 @@ module.exports = {
clean: true,
},
devServer: {
- static: path.resolve(__dirname, 'dist'),
+ static: path.resolve(__dirname, "dist"),
port: 8080,
- hot: true
+ hot: true,
},
mode: "development",
devtool: "eval-source-map",
plugins: [
- new CopyWebpackPlugin({ patterns: ['img/*.png', 'img/*/*.png', { from: 'data/database.json', to: 'data' }] }),
- new HtmlWebpackPlugin({ template: './src/index.html' }),
- new miniCssExtractPlugin()
+ new CopyWebpackPlugin({
+ patterns: [
+ "img/*.png",
+ "img/*/*.png",
+ { from: "data/database.json", to: "data" },
+ ],
+ }),
+ new HtmlWebpackPlugin({ template: "./src/index.html" }),
+ new miniCssExtractPlugin(),
],
module: {
rules: [
{
test: /\.tsx?$/,
- use: 'ts-loader',
+ use: "ts-loader",
exclude: /node_modules/,
},
{
test: /\.(jpg|png|svg|gif)$/,
- type: 'asset/resource',
+ type: "asset/resource",
},
{
- test: /\.(s?css)$/,
- use: [{
- // inject CSS to page
- loader: miniCssExtractPlugin.loader
- }, {
- // translates CSS into CommonJS modules
- loader: 'css-loader'
- }, {
- // Run postcss actions
- loader: 'postcss-loader',
- options: {
- // `postcssOptions` is needed for postcss 8.x;
- // if you use postcss 7.x skip the key
- postcssOptions: {
- // postcss plugins, can be exported to postcss.config.js
- plugins: function () {
- return [
- require('autoprefixer')
- ];
- }
+ test: /\.css|\.s(c|a)ss$/,
+ use: [
+ {
+ // inject CSS to page
+ loader: miniCssExtractPlugin.loader,
+ },
+ {
+ // translates CSS into CommonJS modules
+ loader: "css-loader",
+ options: {
+ sourceMap: true
}
- }
- }, {
- // compiles Sass to CSS
- loader: 'sass-loader'
- }],
+ },
+ {
+ // Run postcss actions
+ loader: "postcss-loader",
+ options: {
+ // `postcssOptions` is needed for postcss 8.x;
+ // if you use postcss 7.x skip the key
+ postcssOptions: {
+ // postcss plugins, can be exported to postcss.config.js
+ plugins: function () {
+ return [require("autoprefixer")];
+ },
+ },
+ },
+ },
+ {
+ // compiles Sass to CSS
+ loader: "sass-loader",
+ options: {
+ sourceMap: true
+ }
+ },
+ ],
// parser: {
// javascript : { importMeta: false }
// }
- },],
+ },
+ ],
},
resolve: {
- extensions: ['.tsx', '.ts', '.js', '.json'],
+ extensions: [".tsx", ".ts", ".js", ".json"],
fallback: {
- "crypto": require.resolve("crypto-browserify"),
- "buffer": require.resolve("buffer"),
- "stream": require.resolve("stream-browserify"),
- "vm": require.resolve("vm-browserify"),
+ crypto: require.resolve("crypto-browserify"),
+ buffer: require.resolve("buffer"),
+ stream: require.resolve("stream-browserify"),
+ vm: require.resolve("vm-browserify"),
},
},
experiments: {
@@ -83,5 +99,5 @@ module.exports = {
watchOptions: {
aggregateTimeout: 200,
poll: 200,
- },
+ },
};
diff --git a/xtask/src/main.rs b/xtask/src/main.rs
index c536681..f5f4f7b 100644
--- a/xtask/src/main.rs
+++ b/xtask/src/main.rs
@@ -1,4 +1,4 @@
-use std::process::Command;
+use std::process::{Command, ExitStatus};
use clap::{Parser, Subcommand};
@@ -91,6 +91,7 @@ fn main() -> Result<(), Error> {
build(&args, packages, *release, &workspace, rest)?;
}
Task::Start {} => {
+ pnpm_install(&args, &workspace)?;
eprintln!("Starting server");
let mut cmd = Command::new(&args.manager);
cmd.current_dir(&workspace.join("www"));
@@ -147,3 +148,15 @@ fn build + std::fmt::Debug + std::fmt::Display>(
}
Ok(())
}
+
+fn pnpm_install(
+ args: &Args,
+ workspace: &std::path::Path,
+) -> Result {
+ eprintln!("Running `pnpm install`");
+ let mut cmd = Command::new(&args.manager);
+ cmd.current_dir(&workspace.join("www"));
+ cmd.args(["install"])
+ .status()
+ .map_err(|e| Error::Command(format!("{}", cmd.get_program().to_string_lossy()), e))
+}