diff --git a/deno.lock b/deno.lock index b765bbd..b68a9f7 100644 --- a/deno.lock +++ b/deno.lock @@ -5,7 +5,6 @@ "npm:@eslint/js@^9.11.1": "9.15.0", "npm:@types/json-stable-stringify@^1.1.0": "1.1.0", "npm:@types/node@^22.10.1": "22.10.1", - "npm:@uiw/codemirror-theme-abcdef@^4.23.6": "4.23.6", "npm:@vitest/coverage-v8@^2.1.8": "2.1.8_vitest@2.1.8__@types+node@22.10.1__vite@5.4.11___@types+node@22.10.1_@types+node@22.10.1", "npm:globals@^15.13.0": "15.13.0", "npm:json-stable-stringify@^1.1.1": "1.1.1", @@ -295,20 +294,6 @@ "undici-types" ] }, - "@uiw/codemirror-theme-abcdef@4.23.6": { - "integrity": "sha512-0RIwTzU4E0duFQcbWfPRm0cgsYbh/F5hJQlTW8BQc+keAIHD+Xsu8BQ7CEMQ6GCReQ2q2BkAhXhd2sPjxmuNsg==", - "dependencies": [ - "@uiw/codemirror-themes" - ] - }, - "@uiw/codemirror-themes@4.23.6_@codemirror+language@6.10.5_@codemirror+state@6.4.1_@codemirror+view@6.35.0": { - "integrity": "sha512-0dpuLQW+V6zrKvfvor/eo71V3tpr2L2Hsu8QZAdtSzksjWABxTOzH3ShaBRxCEsrz6sU9sa9o7ShwBMMDz59bQ==", - "dependencies": [ - "@codemirror/language", - "@codemirror/state", - "@codemirror/view" - ] - }, "@vitest/coverage-v8@2.1.8_vitest@2.1.8__@types+node@22.10.1__vite@5.4.11___@types+node@22.10.1_@types+node@22.10.1": { "integrity": "sha512-2Y7BPlKH18mAZYAW1tYByudlCYrQyl5RGvnnDYJKW5tCiO5qg3KSAy3XAxcxKz900a0ZXxWtKrMuZLe3lKBpJw==", "dependencies": [ @@ -942,8 +927,8 @@ "npm:@types/node@^22.10.2", "npm:@types/react-dom@^19.0.2", "npm:@types/react@^19.0.1", - "npm:@uiw/codemirror-theme-abcdef@^4.23.6", - "npm:@uiw/react-codemirror@^4.23.6", + "npm:@uiw/codemirror-theme-abcdef@^4.23.7", + "npm:@uiw/react-codemirror@^4.23.7", "npm:@vitejs/plugin-react@^4.3.4", "npm:@vitest/coverage-v8@^2.1.8", "npm:eslint-plugin-react-hooks@^5.1.0", diff --git a/rtsc/.rts/testing-file-extensions.rts.json b/rtsc/.rts/testing-file-extensions.rts.json deleted file mode 100644 index bc9aa65..0000000 --- a/rtsc/.rts/testing-file-extensions.rts.json +++ /dev/null @@ -1,186 +0,0 @@ -{ - "cid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "cookie": "rewrite-ts-013", - "exported_identifiers": { - "x": [ - { - "type": "lexical", - "label": { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l2" - } - } - ], - "t_global": [ - { - "type": "type", - "label": { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l5" - } - } - ] - }, - "context": { - "l1": {"type": "lexical", "name": "y_1"}, - "l2": {"type": "lexical", "name": "x_2"}, - "l3": { - "type": "syntax_rules_transformer", - "clauses": [ - { - "pattern": { - "type": "loc", - "t": { - "type": "atom", - "wrap": { - "marks": [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - "subst": [ - { - "rib_id": "r0", - "cu_id": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0" - }, - null - ], - "aes": null - }, - "tag": "identifier", - "content": "foo", - "src": { - "type": "atom", - "tag": "identifier", - "content": "foo", - "src": { - "type": "origin", - "p": 61, - "e": 65, - "f": { - "package": { - "name": "rewrite-ts-visualized", - "version": "0.0.0" - }, - "path": "rtsc/testing-file-extensions.rts" - } - } - } - }, - "p": {"type": "top"} - }, - "template": { - "type": "atom", - "wrap": { - "marks": [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - "subst": [ - { - "rib_id": "r0", - "cu_id": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0" - }, - null - ], - "aes": null - }, - "tag": "identifier", - "content": "x", - "src": { - "type": "atom", - "tag": "identifier", - "content": "x", - "src": { - "type": "origin", - "p": 66, - "e": 68, - "f": { - "package": { - "name": "rewrite-ts-visualized", - "version": "0.0.0" - }, - "path": "rtsc/testing-file-extensions.rts" - } - } - } - } - } - ] - }, - "l4": {"type": "type", "name": "t_local_3"}, - "l5": {"type": "type", "name": "t_global_4"} - }, - "unit": { - "cu_id": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "store": { - "r0": { - "type": "rib", - "normal_env": { - "y": [ - [ - [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l1" - } - ] - ], - "x": [ - [ - [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l2" - } - ] - ], - "foo": [ - [ - [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l3" - } - ] - ] - }, - "types_env": { - "t_local": [ - [ - [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l4" - } - ] - ], - "t_global": [ - [ - [ - "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - ["top", null] - ], - { - "cuid": "rtsc/testing-file-extensions.rts rewrite-ts-visualized 0.0.0", - "name": "l5" - } - ] - ] - }, - "libs": ["es2024.full"] - } - } - } -} \ No newline at end of file diff --git a/rtsc/.rts/testing-file-extensions.rts.ts b/rtsc/.rts/testing-file-extensions.rts.ts deleted file mode 100644 index 7e4049c..0000000 --- a/rtsc/.rts/testing-file-extensions.rts.ts +++ /dev/null @@ -1,5 +0,0 @@ -export const y_1 = 13; -export const x_2 = 12; -export type t_local_3 = string; -export type t_global_4 = string; -console.log("hello"); diff --git a/rtsc/testing-file-extensions.rts b/rtsc/testing-file-extensions.rts deleted file mode 100644 index 2d8341f..0000000 --- a/rtsc/testing-file-extensions.rts +++ /dev/null @@ -1,6 +0,0 @@ -const y = 13; -export const x = 12; -define_rewrite_rules([foo, foo, x]); -type t_local = string; -export type t_global = string; -console.log("hello"); diff --git a/rtsc/testing-file-extensions.rts.ts b/rtsc/testing-file-extensions.rts.ts deleted file mode 100644 index 0843d5e..0000000 --- a/rtsc/testing-file-extensions.rts.ts +++ /dev/null @@ -1,4 +0,0 @@ -/* This is an automatically generated file. Do not edit. */ -import { x_2, type t_global_4 } from "./.rts/testing-file-extensions.rts.ts"; -export { x_2 as x }; -export type t_global = t_global_4; diff --git a/rtsc/watch.ts b/rtsc/watch.ts index cd2c316..d3c3e28 100755 --- a/rtsc/watch.ts +++ b/rtsc/watch.ts @@ -2,7 +2,6 @@ import { basename, dirname, join } from "node:path"; import TS from "typescript"; -import {} from "./testing-file-extensions.rts.ts"; import { LibraryManager } from "../src/library-manager.ts"; import { get_globals } from "../src/global-module.ts"; import { core_patterns } from "../src/syntax-core-patterns.ts"; diff --git a/tsconfig.tsbuildinfo b/tsconfig.tsbuildinfo index a85d85e..c92621a 100644 --- a/tsconfig.tsbuildinfo +++ b/tsconfig.tsbuildinfo @@ -1 +1 @@ -{"root":["./files.test.ts","./generate-stdlibs.test.ts","./vite.config.ts","./vitest.config.ts","./rtsc/testing-file-extensions.rts.ts","./rtsc/watch.ts","./src/assert.ts","./src/ast.ts","./src/data.ts","./src/expander.ts","./src/fs-helpers.ts","./src/generate-stdlibs.ts","./src/generated-stdlibs.ts","./src/global-module.ts","./src/library-manager.ts","./src/llhelpers.ts","./src/parse.ts","./src/pprint.ts","./src/preexpand-handlers.ts","./src/preexpand-helpers.ts","./src/proxy-code.ts","./src/serialize.ts","./src/stx-error.ts","./src/stx.ts","./src/syntax-core-patterns.ts","./src/syntax-structures.ts","./src/tags.ts","./src/zipper.ts","./test-project/index.ts","./test-project/main.rts.ts","./test-project/mod.rts.ts","./ui/astvis.tsx","./ui/app.tsx","./ui/editor.tsx","./ui/main.tsx","./ui/vite-env.d.ts"],"version":"5.7.2"} \ No newline at end of file +{"root":["./files.test.ts","./generate-stdlibs.test.ts","./vite.config.ts","./vitest.config.ts","./rtsc/watch.ts","./src/assert.ts","./src/ast.ts","./src/data.ts","./src/expander.ts","./src/fs-helpers.ts","./src/generate-stdlibs.ts","./src/generated-stdlibs.ts","./src/global-module.ts","./src/library-manager.ts","./src/llhelpers.ts","./src/parse.ts","./src/pprint.ts","./src/preexpand-handlers.ts","./src/preexpand-helpers.ts","./src/proxy-code.ts","./src/serialize.ts","./src/stx-error.ts","./src/stx.ts","./src/syntax-core-patterns.ts","./src/syntax-structures.ts","./src/tags.ts","./src/zipper.ts","./test-project/index.ts","./test-project/main.rts.ts","./test-project/mod.rts.ts","./ui/astvis.tsx","./ui/app.tsx","./ui/editor.tsx","./ui/main.tsx","./ui/vite-env.d.ts"],"version":"5.7.2"} \ No newline at end of file