Infer version (#1047)

* update dependencies

* Adding the compiler inference logic

* upgrading tests for version inferrence

* Since importing maxSatisfying and minSatisfying, there is no benefit in importing semver functionality by independent functions.

* fixing bug in VersionLiteral

* using string replace to remove all comments from the VersionExpressionSets

* Move inferLanguage to its own module

* Add tests for inferLanguage

* added extra test case

* check if there is at least 1 valid version in the ranges before comparing it against the supported versions.

* adding more specific tests

* validating a range like `0.5.0 - 0.6.0` gets rewritten to comparators `>=0.5.0 <=0.6.0` which can be concatenated.

* refactor test

* Add test case for infer-language

---------

Co-authored-by: Franco Victorio <[email protected]>

jest.config.js

@@ -8,6 +8,7 @@ if (TEST_STANDALONE) {
   );
 } else {
   testMatch.push('<rootDir>/tests/unit/**/*.test.js');
+  testMatch.push('<rootDir>/tests/unit/**/*.test.ts');
 }
 
 export default {

package.json

@@ -75,12 +75,13 @@
   },
   "devDependencies": {
     "@babel/code-frame": "^7.24.7",
+    "@types/jest": "^29.5.13",
     "@types/semver": "^7.5.8",
-    "@typescript-eslint/eslint-plugin": "^8.6.0",
-    "@typescript-eslint/parser": "^8.6.0",
+    "@typescript-eslint/eslint-plugin": "^8.7.0",
+    "@typescript-eslint/parser": "^8.7.0",
     "c8": "^9.1.0",
     "cross-env": "^7.0.3",
-    "eslint": "^9.10.0",
+    "eslint": "^9.11.1",
     "eslint-config-prettier": "^9.1.0",
     "esm-utils": "^4.3.0",
     "esmock": "^2.6.7",
@@ -96,7 +97,7 @@
     "ts-loader": "^9.5.1",
     "ts-node": "^10.9.2",
     "typescript": "^5.5.4",
-    "webpack": "^5.94.0",
+    "webpack": "^5.95.0",
     "webpack-cli": "^5.1.4"
   },
   "dependencies": {

src/slang-nodes/ContractDefinition.ts

@@ -1,6 +1,5 @@
 import { doc } from 'prettier';
-import coerce from 'semver/functions/coerce.js';
-import satisfies from 'semver/functions/satisfies.js';
+import { coerce, satisfies } from 'semver';
 import { NonterminalKind } from '@nomicfoundation/slang/kinds/index.js';
 import { getNodeMetadata, updateMetadata } from '../slang-utils/metadata.js';
 import { Identifier } from './Identifier.js';

src/slang-nodes/FunctionDefinition.ts

@@ -1,5 +1,4 @@
-import coerce from 'semver/functions/coerce.js';
-import satisfies from 'semver/functions/satisfies.js';
+import { coerce, satisfies } from 'semver';
 import { NonterminalKind } from '@nomicfoundation/slang/kinds/index.js';
 import { printFunction } from '../slang-printers/print-function.js';
 import { getNodeMetadata, updateMetadata } from '../slang-utils/metadata.js';

src/slang-nodes/ImportDeconstructionSymbols.ts

@@ -1,6 +1,5 @@
 import { doc } from 'prettier';
-import coerce from 'semver/functions/coerce.js';
-import satisfies from 'semver/functions/satisfies.js';
+import { coerce, satisfies } from 'semver';
 import { NonterminalKind } from '@nomicfoundation/slang/kinds/index.js';
 import { printSeparatedList } from '../slang-printers/print-separated-list.js';
 import { getNodeMetadata, updateMetadata } from '../slang-utils/metadata.js';

src/slang-nodes/VersionLiteral.ts

@@ -35,6 +35,8 @@ export class VersionLiteral implements SlangNode {
   }
 
   print(path: AstPath<VersionLiteral>, print: PrintFunction): Doc {
-    return path.call(print, 'variant');
+    return typeof this.variant === 'string'
+      ? this.variant
+      : path.call(print, 'variant');
   }
 }