2748 remove hints type inference (#2755)

* remove type hints

* remove type inferences cleanup

* remove key binding for type information

---------

Co-authored-by: Richard Dominick <34370238+RichDom2185@users.noreply.github.com>

Author: ZweZeya

src/commons/editor/Editor.tsx

@@ -20,7 +20,6 @@ import useHighlighting from './UseHighlighting';
 import useNavigation from './UseNavigation';
 import useRefactor from './UseRefactor';
 import useShareAce from './UseShareAce';
-import useTypeInference from './UseTypeInference';
 import { getModeString, selectMode } from '../utils/AceHelper';
 import { EditorBinding } from '../WorkspaceSettingsContext';
 import { IAceEditor } from 'react-ace/lib/types';
@@ -570,7 +569,7 @@ const EditorBase = React.memo((props: EditorProps & LocalStateProps) => {
 });
 
 // don't create a new list every render.
-const hooks = [useHighlighting, useNavigation, useTypeInference, useShareAce, useRefactor];
+const hooks = [useHighlighting, useNavigation, useShareAce, useRefactor];
 
 const Editor: React.FC<EditorProps> = (props: EditorProps) => {
   const [sessions, setSessions] = React.useState<Record<string, Ace.EditSession>>({});

src/commons/editor/EditorHotkeys.ts

@@ -14,10 +14,6 @@ export const keyBindings = {
   highlightScope: {
     win: 'Ctrl-Shift-H',
     mac: 'Command-Shift-H'
-  },
-  typeInferenceDisplay: {
-    win: 'Ctrl-Shift-M',
-    mac: 'Command-Shift-M'
   }
 };
 

src/commons/editor/UseTypeInference.tsx

@@ -4,7 +4,6 @@ import {
   findDeclaration,
   getNames,
   interrupt,
-  parseError,
   Result,
   resume,
   runFilesInContext,
@@ -15,9 +14,7 @@ import { defineSymbol } from 'js-slang/dist/createContext';
 import { InterruptedError } from 'js-slang/dist/errors/errors';
 import { parse } from 'js-slang/dist/parser/parser';
 import { manualToggleDebugger } from 'js-slang/dist/stdlib/inspector';
-import { typeCheck } from 'js-slang/dist/typeChecker/typeChecker';
 import { Chapter, Variant } from 'js-slang/dist/types';
-import { validateAndAnnotate } from 'js-slang/dist/validator/validator';
 import { random } from 'lodash';
 import Phaser from 'phaser';
 import { SagaIterator } from 'redux-saga';
@@ -1241,22 +1238,9 @@ export function* evalCode(
       // Safe to use ! as storyEnv will be defined from above when we call from EVAL_STORY
       yield put(actions.evalStoryError(context.errors, storyEnv!));
     }
-    // we need to parse again, but preserve the errors in context
-    const oldErrors = context.errors;
-    context.errors = [];
-    // Note: Type checking does not support multiple file programs.
-    const parsed = parse(entrypointCode, context);
-    const typeErrors = parsed && typeCheck(validateAndAnnotate(parsed!, context), context)[1];
-    context.errors = oldErrors;
-    // for achievement event tracking
+
     const events = context.errors.length > 0 ? [EventType.ERROR] : [];
 
-    if (typeErrors && typeErrors.length > 0 && !isStoriesBlock) {
-      events.push(EventType.ERROR);
-      yield put(
-        actions.sendReplInputToOutput('Hints:\n' + parseError(typeErrors), workspaceLocation)
-      );
-    }
     yield put(actions.addEvent(events));
     return;
   } else if (result.status === 'suspended' || result.status === 'suspended-ec-eval') {