Export makeUnelaboratedObjectNode from semantics module

Author: mkantor

src/language/compiling/semantics/expressions/apply-expression.ts

@@ -1,14 +1,16 @@
 import { either, type Either } from '../../../../adts.js'
 import type { ElaborationError } from '../../../errors.js'
 import type { Molecule } from '../../../parsing.js'
-import { isFunctionNode } from '../../../semantics.js'
+import {
+  isFunctionNode,
+  makeUnelaboratedObjectNode,
+} from '../../../semantics.js'
 import {
   isExpression,
   type Expression,
   type ExpressionContext,
   type KeywordHandler,
 } from '../../../semantics/expression-elaboration.js'
-import { makeUnelaboratedObjectNode } from '../../../semantics/object-node.js'
 import {
   containsAnyUnelaboratedNodes,
   type SemanticGraph,

src/language/compiling/semantics/expressions/check-expression.ts

@@ -1,17 +1,17 @@
 import { either, option, type Either } from '../../../../adts.js'
 import type { ElaborationError } from '../../../errors.js'
 import type { Molecule } from '../../../parsing.js'
-import { isFunctionNode } from '../../../semantics.js'
+import {
+  isFunctionNode,
+  makeUnelaboratedObjectNode,
+} from '../../../semantics.js'
 import {
   isExpression,
   type Expression,
   type ExpressionContext,
   type KeywordHandler,
 } from '../../../semantics/expression-elaboration.js'
-import {
-  lookupPropertyOfObjectNode,
-  makeUnelaboratedObjectNode,
-} from '../../../semantics/object-node.js'
+import { lookupPropertyOfObjectNode } from '../../../semantics/object-node.js'
 import {
   stringifySemanticGraphForEndUser,
   type SemanticGraph,

src/language/compiling/semantics/expressions/expression-utilities.ts

@@ -1,16 +1,16 @@
 import { either, option, type Either, type Option } from '../../../../adts.js'
 import type { ElaborationError } from '../../../errors.js'
 import type { Atom, Molecule } from '../../../parsing.js'
-import { type ObjectNode } from '../../../semantics.js'
+import {
+  makeUnelaboratedObjectNode,
+  type ObjectNode,
+} from '../../../semantics.js'
 import type {
   Expression,
   ExpressionContext,
 } from '../../../semantics/expression-elaboration.js'
 import { stringifyKeyPathForEndUser } from '../../../semantics/key-path.js'
-import {
-  lookupPropertyOfObjectNode,
-  makeUnelaboratedObjectNode,
-} from '../../../semantics/object-node.js'
+import { lookupPropertyOfObjectNode } from '../../../semantics/object-node.js'
 import {
   applyKeyPathToSemanticGraph,
   isSemanticGraph,

src/language/compiling/semantics/expressions/function-expression.ts

@@ -3,6 +3,7 @@ import type { ElaborationError } from '../../../errors.js'
 import type { Atom, Molecule } from '../../../parsing.js'
 import {
   makeFunctionNode,
+  makeUnelaboratedObjectNode,
   serialize,
   types,
   type FunctionNode,
@@ -14,10 +15,7 @@ import {
   type ExpressionContext,
   type KeywordHandler,
 } from '../../../semantics/expression-elaboration.js'
-import {
-  makeObjectNode,
-  makeUnelaboratedObjectNode,
-} from '../../../semantics/object-node.js'
+import { makeObjectNode } from '../../../semantics/object-node.js'
 import {
   updateValueAtKeyPathInSemanticGraph,
   type SemanticGraph,

src/language/compiling/semantics/expressions/runtime-expression.ts

@@ -3,6 +3,7 @@ import type { ElaborationError } from '../../../errors.js'
 import {
   isAssignable,
   isFunctionNode,
+  makeUnelaboratedObjectNode,
   replaceAllTypeParametersWithTheirConstraints,
   types,
 } from '../../../semantics.js'
@@ -12,7 +13,6 @@ import {
   type ExpressionContext,
   type KeywordHandler,
 } from '../../../semantics/expression-elaboration.js'
-import { makeUnelaboratedObjectNode } from '../../../semantics/object-node.js'
 import {
   containsAnyUnelaboratedNodes,
   type SemanticGraph,

src/language/compiling/semantics/prelude.ts

@@ -6,14 +6,12 @@ import {
   isObjectNode,
   makeFunctionNode,
   makeObjectNode,
+  makeUnelaboratedObjectNode,
   types,
   type ObjectNode,
 } from '../../semantics.js'
 import { keyPathToMolecule } from '../../semantics/key-path.js'
-import {
-  lookupPropertyOfObjectNode,
-  makeUnelaboratedObjectNode,
-} from '../../semantics/object-node.js'
+import { lookupPropertyOfObjectNode } from '../../semantics/object-node.js'
 import {
   containsAnyUnelaboratedNodes,
   isSemanticGraph,

src/language/semantics.ts

@@ -14,6 +14,7 @@ export { type KeyPath } from './semantics/key-path.js'
 export {
   isObjectNode,
   makeObjectNode,
+  makeUnelaboratedObjectNode,
   type ObjectNode,
 } from './semantics/object-node.js'
 export {

src/language/semantics/expression-elaboration.ts

@@ -3,8 +3,12 @@ import { withPhantomData, type WithPhantomData } from '../../phantom-data.js'
 import type { Writable } from '../../utility-types.js'
 import type { ElaborationError, InvalidSyntaxTreeError } from '../errors.js'
 import type { Atom, Molecule, SyntaxTree } from '../parsing.js'
-import { makeObjectNode, type KeyPath, type ObjectNode } from '../semantics.js'
-import { makeUnelaboratedObjectNode } from './object-node.js'
+import {
+  makeObjectNode,
+  makeUnelaboratedObjectNode,
+  type KeyPath,
+  type ObjectNode,
+} from '../semantics.js'
 import {
   extractStringValueIfPossible,
   updateValueAtKeyPathInSemanticGraph,