Commit 03e4bea8 authored by Dominic's avatar Dominic
Browse files

Implement proof of concept for specific toolchain configuration options

parent ab8b46a2
Pipeline #28387 passed with stages
in 2 minutes and 18 seconds
......@@ -78,7 +78,8 @@ export const editorConfigurations: EditorConfigurations = {
}
],
toolchainConfigurationOptions: [
'ccsPartialEvaluation'
'ccsPartialEvaluation',
'sampleSetting'
]
}
},
......
......@@ -4,7 +4,8 @@ import { defaultSettings, Settings, SettingsContext } from '../../../../util/Ang
import { InitializedDataAuthorityData } from '../../../editorTypes';
const toolchainConfigurationDescription: { [configuration in keyof (typeof defaultSettings.toolchainConfiguration)]: string } = {
ccsPartialEvaluation: "partially evaluate expressions in CCS terms wherever possible"
ccsPartialEvaluation: "partially evaluate expressions in CCS terms wherever possible",
sampleSetting: "Sample configuration option that only shows for CCS, but not for pseuCo files"
};
const ToolchainConfigurationModal: React.FC<{ hugeData: InitializedDataAuthorityData, setVisibleState: [boolean, Dispatch<React.SetStateAction<boolean>>] }> = ({ hugeData, setVisibleState: [showModal, setShowModal] }) => {
......
......@@ -30,7 +30,8 @@ export type Settings = {
skipLandingPage: boolean,
teachingUnlocks: FeatureUnlocks,
toolchainConfiguration: {
ccsPartialEvaluation: boolean
ccsPartialEvaluation: boolean,
sampleSetting: boolean
},
ccsPartialEvaluation: boolean,
sku: SKUType,
......@@ -88,7 +89,8 @@ export const defaultSettings : Settings = {
"memory-model-weak": false
},
toolchainConfiguration: {
ccsPartialEvaluation: true
ccsPartialEvaluation: true,
sampleSetting: false
},
ccsPartialEvaluation: false,
sku: undefined,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment