Merge pull request #53 from kris7t/imports

Module and import resolution support

1 files changed, 5 insertions, 1 deletions

diff --git a/subprojects/frontend/types/grammar.d.ts b/subprojects/frontend/types/grammar.d.ts
index 92f99ec3..c7848e33 100644
--- a/subprojects/frontend/types/grammar.d.ts
+++ b/subprojects/frontend/types/grammar.d.ts
@@ -1,6 +1,6 @@
 /*
  * Copyright (C) 2018 by Marijn Haverbeke <marijn@haverbeke.berlin> and others
- * Copyright (C) 2021-2023 The Refinery Authors <https://refinery.tools/>
+ * Copyright (C) 2021-2024 The Refinery Authors <https://refinery.tools/>
  *
  * SPDX-License-Identifier: MIT
  */
@@ -10,3 +10,7 @@ declare module '*.grammar' {
 
   export const parser: LRParser;
 }
+
+declare module '*.terms' {
+  export const QualifiedNameSeparator: number;
+}