Remove non det

Author: leeyi45

src/commons/__tests__/Markdown.tsx

@@ -37,9 +37,6 @@ test('Markdown page renders correct Source information', () => {
   const source3Default = <Markdown {...mockProps(Chapter.SOURCE_3, Variant.DEFAULT)} />;
   expect(source3Default.props.content).toContain('Source \xa73');
 
-  const source3NonDet = <Markdown {...mockProps(Chapter.SOURCE_3, Variant.NON_DET)} />;
-  expect(source3NonDet.props.content).toContain('Source \xa73 Non-Det');
-
   const source3Concurrent = <Markdown {...mockProps(Chapter.SOURCE_3, Variant.CONCURRENT)} />;
   expect(source3Concurrent.props.content).toContain('Source \xa73 Concurrent');
 

src/commons/application/ApplicationTypes.ts

@@ -156,7 +156,6 @@ type LanguageFeatures = Partial<{
 const variantDisplay: Map<Variant, string> = new Map([
   [Variant.TYPED, 'Typed'],
   [Variant.WASM, 'WebAssembly'],
-  [Variant.NON_DET, 'Non-Det'],
   [Variant.CONCURRENT, 'Concurrent'],
   [Variant.LAZY, 'Lazy'],
   [Variant.GPU, 'GPU'],
@@ -268,7 +267,6 @@ const sourceSubLanguages: Array<Pick<SALanguage, 'chapter' | 'variant'>> = [
   { chapter: Chapter.SOURCE_3, variant: Variant.DEFAULT },
   { chapter: Chapter.SOURCE_3, variant: Variant.TYPED },
   { chapter: Chapter.SOURCE_3, variant: Variant.CONCURRENT },
-  { chapter: Chapter.SOURCE_3, variant: Variant.NON_DET },
   { chapter: Chapter.SOURCE_3, variant: Variant.NATIVE },
 
   { chapter: Chapter.SOURCE_4, variant: Variant.DEFAULT },
@@ -291,8 +289,7 @@ export const sourceLanguages: SALanguage[] = sourceSubLanguages.map(sublang => {
     (variant === Variant.DEFAULT || variant === Variant.NATIVE || variant === Variant.TYPED);
 
   // Enable CSE Machine for Source Chapter 3 and above
-  supportedFeatures.cseMachine =
-    chapter >= Chapter.SOURCE_3 && variant !== Variant.CONCURRENT && variant !== Variant.NON_DET;
+  supportedFeatures.cseMachine = chapter >= Chapter.SOURCE_3 && variant !== Variant.CONCURRENT;
 
   // Local imports/exports require Source 2+ as Source 1 does not have lists.
   supportedFeatures.multiFile = chapter >= Chapter.SOURCE_2;
@@ -424,7 +421,6 @@ export const createDefaultWorkspace = (workspaceLocation: WorkspaceLocation): Wo
   enableDebugging: true,
   debuggerContext: {} as DebuggerContext,
   lastDebuggerResult: undefined,
-  lastNonDetResult: null,
   files: {}
 });
 

src/commons/application/__tests__/ApplicationTypes.ts

@@ -62,7 +62,6 @@ describe('available Source language configurations', () => {
         variant: Variant.CONCURRENT,
         supports: { dataVisualizer: true }
       },
-      { chapter: Chapter.SOURCE_3, variant: Variant.NON_DET, supports: { dataVisualizer: true } },
       {
         chapter: Chapter.SOURCE_3,
         variant: Variant.NATIVE,

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

@@ -1,7 +1,7 @@
 import { compileAndRun as compileAndRunCCode } from '@sourceacademy/c-slang/ctowasm/dist/index';
 import { tokenizer } from 'acorn';
 import { Context, interrupt, Result, resume, runFilesInContext } from 'js-slang';
-import { ACORN_PARSE_OPTIONS, TRY_AGAIN } from 'js-slang/dist/constants';
+import { ACORN_PARSE_OPTIONS } from 'js-slang/dist/constants';
 import { InterruptedError } from 'js-slang/dist/errors/errors';
 import { manualToggleDebugger } from 'js-slang/dist/stdlib/inspector';
 import { Chapter, ErrorSeverity, ErrorType, SourceError, Variant } from 'js-slang/dist/types';
@@ -110,22 +110,9 @@ export function* evalCodeSaga(
   );
 
   const entrypointCode = files[entrypointFilePath];
-  const lastNonDetResult = yield select(
-    (state: OverallState) => state.workspaces[workspaceLocation].lastNonDetResult
-  );
 
   function call_variant(variant: Variant) {
-    if (variant === Variant.NON_DET) {
-      return entrypointCode.trim() === TRY_AGAIN
-        ? call(resume, lastNonDetResult)
-        : call(runFilesInContext, files, entrypointFilePath, context, {
-            executionMethod: 'interpreter',
-            originalMaxExecTime: execTime,
-            stepLimit: stepLimit,
-            useSubst: substActiveAndCorrectChapter,
-            envSteps: currentStep
-          });
-    } else if (variant === Variant.LAZY) {
+    if (variant === Variant.LAZY) {
       return call(runFilesInContext, files, entrypointFilePath, context, {
         scheduler: 'preemptive',
         originalMaxExecTime: execTime,
@@ -251,7 +238,6 @@ export function* evalCodeSaga(
       });
   }
 
-  const isNonDet: boolean = context.variant === Variant.NON_DET;
   const isLazy: boolean = context.variant === Variant.LAZY;
   const isWasm: boolean = context.variant === Variant.WASM;
   const isC: boolean = context.chapter === Chapter.FULL_C;
@@ -268,11 +254,19 @@ export function* evalCodeSaga(
       ? DisplayBufferService.attachConsole(workspaceLocation)
       : () => {};
 
-  const { result, interrupted, paused } = yield race({
+  const {
+    result,
+    interrupted,
+    paused
+  }: {
+    result: Result;
+    interrupted: any;
+    paused: any;
+  } = yield race({
     result:
       actionType === InterpreterActions.debuggerResume.type
         ? call(resume, lastDebuggerResult)
-        : isNonDet || isLazy || isWasm
+        : isLazy || isWasm
           ? call_variant(context.variant)
           : isC
             ? call(cCompileAndRun, entrypointCode, context)
@@ -339,7 +333,6 @@ export function* evalCodeSaga(
   if (
     result.status !== 'suspended' &&
     result.status !== 'finished' &&
-    result.status !== 'suspended-non-det' &&
     result.status !== 'suspended-cse-eval'
   ) {
     yield* dumpDisplayBuffer(workspaceLocation, isStoriesBlock, storyEnv);
@@ -383,11 +376,6 @@ export function* evalCodeSaga(
     yield put(actions.endDebuggerPause(workspaceLocation));
     yield put(actions.evalInterpreterSuccess('Breakpoint hit!', workspaceLocation));
     return;
-  } else if (isNonDet) {
-    if (result.value === 'cut') {
-      result.value = undefined;
-    }
-    yield put(actions.updateLastNonDetResult(result, workspaceLocation));
   }
 
   yield* dumpDisplayBuffer(workspaceLocation, isStoriesBlock, storyEnv);

src/commons/workspace/WorkspaceActions.ts

@@ -1,5 +1,5 @@
 import { createAction } from '@reduxjs/toolkit';
-import { Context, Result } from 'js-slang';
+import type { Context } from 'js-slang';
 import { Chapter, Variant } from 'js-slang/dist/types';
 
 import { AllColsSortStates, GradingColumnVisibility } from '../../features/grading/GradingTypes';
@@ -14,7 +14,6 @@ import {
   SubmissionsTableFilters,
   TOGGLE_USING_UPLOAD,
   UPDATE_LAST_DEBUGGER_RESULT,
-  UPDATE_LAST_NON_DET_RESULT,
   UPLOAD_FILES,
   WorkspaceLocation,
   WorkspaceLocationsWithTools,
@@ -281,13 +280,6 @@ export const updateLastDebuggerResult = createAction(
   })
 );
 
-export const updateLastNonDetResult = createAction(
-  UPDATE_LAST_NON_DET_RESULT,
-  (lastNonDetResult: Result, workspaceLocation: WorkspaceLocation) => ({
-    payload: { lastNonDetResult, workspaceLocation }
-  })
-);
-
 export const toggleUsingUpload = createAction(
   TOGGLE_USING_UPLOAD,
   (usingUpload: boolean, workspaceLocation: WorkspaceLocationsWithTools) => ({
@@ -306,7 +298,6 @@ export const uploadFiles = createAction(
 export default {
   ...newActions,
   updateLastDebuggerResult,
-  updateLastNonDetResult,
   toggleUsingUpload,
   uploadFiles
 };

src/commons/workspace/WorkspaceReducer.ts

@@ -380,10 +380,6 @@ const newWorkspaceReducer = createReducer(defaultWorkspaceManager, builder => {
     .addCase(WorkspaceActions.updateLastDebuggerResult, (state, action) => {
       const workspaceLocation = getWorkspaceLocation(action);
       state[workspaceLocation].lastDebuggerResult = action.payload.lastDebuggerResult;
-    })
-    .addCase(WorkspaceActions.updateLastNonDetResult, (state, action) => {
-      const workspaceLocation = getWorkspaceLocation(action);
-      state[workspaceLocation].lastNonDetResult = action.payload.lastNonDetResult;
     });
 });
 

src/commons/workspace/WorkspaceTypes.ts

@@ -1,4 +1,4 @@
-import { Context, Result } from 'js-slang';
+import type { Context } from 'js-slang';
 
 import { AllColsSortStates, GradingColumnVisibility } from '../../features/grading/GradingTypes';
 import { SourcecastWorkspaceState } from '../../features/sourceRecorder/sourcecast/SourcecastTypes';
@@ -11,7 +11,6 @@ import { UploadResult } from '../sideContent/content/SideContentUpload';
 
 export const EVAL_SILENT = 'EVAL_SILENT';
 export const UPDATE_LAST_DEBUGGER_RESULT = 'UPDATE_LAST_DEBUGGER_RESULT';
-export const UPDATE_LAST_NON_DET_RESULT = 'UPDATE_LAST_NON_DET_RESULT';
 export const TOGGLE_USING_UPLOAD = 'TOGGLE_USING_UPLOAD';
 export const UPLOAD_FILES = 'UPLOAD_FILES';
 
@@ -106,7 +105,6 @@ export type WorkspaceState = {
   readonly globals: Array<[string, any]>;
   readonly debuggerContext: DebuggerContext;
   readonly lastDebuggerResult: any;
-  readonly lastNonDetResult: Result | null;
   readonly files: UploadResult;
 };