Language options

src/commons/assessment/AssessmentTypes.ts

@@ -1,4 +1,4 @@
-import { Chapter, SourceError, Variant } from 'js-slang/dist/types';
+import { Chapter, LanguageOptions, SourceError, Variant } from 'js-slang/dist/types';
 
 import { ExternalLibrary, ExternalLibraryName } from '../application/types/ExternalTypes';
 
@@ -177,6 +177,7 @@ export type Library = {
     2?: string; // For mission control
   }>;
   moduleParams?: any;
+  languageOptions?: LanguageOptions;
 };
 
 export type Testcase = {

src/commons/sagas/WorkspaceSaga/helpers/blockExtraMethods.ts

@@ -1,8 +1,10 @@
-import type { Context } from 'js-slang';
+import { Context } from 'js-slang';
+import { Variant } from 'js-slang/dist/types';
 import { call } from 'redux-saga/effects';
 
 import {
   getBlockExtraMethodsString,
+  getBlockExtraMethodsStringTypedVariant,
   getDifferenceInMethods,
   getStoreExtraMethodsString
 } from '../../../utils/JsSlangHelper';
@@ -35,7 +37,10 @@ export function* blockExtraMethods(
     );
   }
 
-  const nullifier = getBlockExtraMethodsString(toBeBlocked);
+  const nullifier =
+    context.variant === Variant.TYPED
+      ? getBlockExtraMethodsStringTypedVariant(toBeBlocked)
+      : getBlockExtraMethodsString(toBeBlocked);
   const nullifierFilePath = '/nullifier.js';
   const nullifierFiles = {
     [nullifierFilePath]: nullifier

src/commons/sagas/WorkspaceSaga/helpers/clearContext.ts

@@ -1,19 +1,30 @@
 import type { Context } from 'js-slang';
 import { defineSymbol } from 'js-slang/dist/createContext';
+import { LanguageOptions, Variant } from 'js-slang/dist/types';
 import { put, select, take } from 'redux-saga/effects';
+import { ExternalLibraryName } from 'src/commons/application/types/ExternalTypes';
 import WorkspaceActions from 'src/commons/workspace/WorkspaceActions';
 
 import type { OverallState } from '../../../application/ApplicationTypes';
 import { actions } from '../../../utils/ActionsHelper';
 import type { WorkspaceLocation } from '../../../workspace/WorkspaceTypes';
-import { selectWorkspace } from '../../SafeEffects';
 
 export function* clearContext(workspaceLocation: WorkspaceLocation, entrypointCode: string) {
-  const {
-    context: { chapter, externalSymbols: symbols, variant },
-    externalLibrary: externalLibraryName,
-    globals
-  } = yield* selectWorkspace(workspaceLocation);
+  const [chapter, symbols, externalLibraryName, globals, variant, languageOptions]: [
+    number,
+    string[],
+    ExternalLibraryName,
+    Array<[string, any]>,
+    Variant,
+    LanguageOptions
+  ] = yield select((state: OverallState) => [
+    state.workspaces[workspaceLocation].context.chapter,
+    state.workspaces[workspaceLocation].context.externalSymbols,
+    state.workspaces[workspaceLocation].externalLibrary,
+    state.workspaces[workspaceLocation].globals,
+    state.workspaces[workspaceLocation].context.variant,
+    state.workspaces[workspaceLocation].context.languageOptions
+  ]);
 
   const library = {
     chapter,
@@ -22,7 +33,8 @@ export function* clearContext(workspaceLocation: WorkspaceLocation, entrypointCo
       name: externalLibraryName,
       symbols
     },
-    globals
+    globals,
+    languageOptions
   };
 
   // Clear the context, with the same chapter and externalSymbols as before.

src/commons/sagas/WorkspaceSaga/helpers/evalEditor.ts

@@ -1,4 +1,5 @@
-import type { FSModule } from 'browserfs/dist/node/core/FS';
+import { FSModule } from 'browserfs/dist/node/core/FS';
+import { Variant } from 'js-slang/dist/types';
 import { call, put, select, StrictEffect } from 'redux-saga/effects';
 import WorkspaceActions from 'src/commons/workspace/WorkspaceActions';
 
@@ -82,19 +83,28 @@
       const prependFiles = {
         [prependFilePath]: prepend
       };
-      yield call(
-        evalCodeSaga,
-        prependFiles,
-        prependFilePath,
-        elevatedContext,
-        execTime,
-        EVAL_SILENT,
-        workspaceLocation
-      );
+      if (context.variant !== Variant.TYPED) {
+        yield call(
+          evalCodeSaga,
+          prependFiles,
+          prependFilePath,
+          elevatedContext,
+          execTime,
+          workspaceLocation,
+          EVAL_SILENT
+        );
+      }
+
       // Block use of methods from privileged context
       yield* blockExtraMethods(elevatedContext, context, execTime, workspaceLocation);
     }
 
+    if (context.variant === Variant.TYPED) {
+      // Prepend was multi-line, now we need to split them by \n and join them
+      // This is to avoid extra lines in the editor which affects the error message location
+      const prependSingleLine = prepend.split('\n').join('');
+      files[entrypointFilePath] = prependSingleLine + files[entrypointFilePath];
+    }
     yield call(
       evalCodeSaga,
       files,

src/commons/utils/JsSlangHelper.ts

@@ -181,6 +181,7 @@ function loadStandardLibraries(proxyContext: Context, customBuiltIns: CustomBuil
 // intercepts reads from the underlying Context and returns desired values
 export function makeElevatedContext(context: Context) {
   function ProxyFrame() {}
+
   ProxyFrame.prototype = context.runtime.environments[0].head;
   // eslint-disable-next-line @typescript-eslint/ban-ts-comment
   // @ts-ignore
@@ -258,3 +259,13 @@ export function getBlockExtraMethodsString(toRemove: string[]) {
     )
     .join('\n');
 }
+
+export function getBlockExtraMethodsStringTypedVariant(toRemove: string[]) {
+  return toRemove
+    .map(x =>
+      x === 'makeUndefinedErrorFunction'
+        ? ''
+        : `const ${x} : string = makeUndefinedErrorFunction('${x}');`
+    )
+    .join('\n');
+}

src/commons/workspace/WorkspaceReducer.ts

@@ -101,7 +101,8 @@ const newWorkspaceReducer = createReducer(defaultWorkspaceManager, builder => {
             action.payload.library.chapter,
             action.payload.library.external.symbols,
             workspaceLocation,
-            action.payload.library.variant
+            action.payload.library.variant,
+            action.payload.library.languageOptions
           ),
           globals: action.payload.library.globals,
           externalLibrary: action.payload.library.external.name