Skip to content

Commit

Permalink
add example for getting FSharp.Core.fsproj to typecheck
Browse files Browse the repository at this point in the history
  • Loading branch information
Yatao Li committed Jun 15, 2019
1 parent 819b8a2 commit c708c1b
Show file tree
Hide file tree
Showing 3 changed files with 66 additions and 2 deletions.
64 changes: 64 additions & 0 deletions config_sample/fsharp_core/coc-settings.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,64 @@
{
"fsharp.codelens.references": false,
"fsharp.project.otherFlags": [
"--warnon:1182",
"--compiling-fslib",
"--compiling-fslib-40",
"--maxerrors:20",
"--extraoptimizationloops:1",
"--tailcalls+",
"--deterministic+",
"--target:library",
"--fullpaths",
"--flaterrors",
"--highentropyva+",
"--targetprofile:netcore",
"--simpleresolution",
"-g",
"--debug:portable",
"--noframework",
"--define:TRACE",
"--define:FSHARP_CORE",
"--define:DEBUG",
"--define:NETSTANDARD",
"--define:FX_NO_APP_DOMAINS",
"--define:FX_NO_ARRAY_LONG_LENGTH",
"--define:FX_NO_BEGINEND_READWRITE",
"--define:FX_NO_BINARY_SERIALIZATION",
"--define:FX_NO_CONVERTER",
"--define:FX_NO_DEFAULT_DEPENDENCY_TYPE",
"--define:FX_NO_CORHOST_SIGNER",
"--define:FX_NO_EVENTWAITHANDLE_IDISPOSABLE",
"--define:FX_NO_EXIT_CONTEXT_FLAGS",
"--define:FX_NO_LINKEDRESOURCES",
"--define:FX_NO_PARAMETERIZED_THREAD_START",
"--define:FX_NO_PDB_READER",
"--define:FX_NO_PDB_WRITER",
"--define:FX_NO_REFLECTION_MODULE_HANDLES",
"--define:FX_NO_REFLECTION_ONLY",
"--define:FX_NO_RUNTIMEENVIRONMENT",
"--define:FX_NO_SECURITY_PERMISSIONS",
"--define:FX_NO_SERVERCODEPAGES",
"--define:FX_NO_SYMBOLSTORE",
"--define:FX_NO_SYSTEM_CONFIGURATION",
"--define:FX_NO_THREAD",
"--define:FX_NO_THREADABORT",
"--define:FX_NO_WAITONE_MILLISECONDS",
"--define:FX_NO_WEB_CLIENT",
"--define:FX_NO_WIN_REGISTRY",
"--define:FX_NO_WINFORMS",
"--define:FX_NO_INDENTED_TEXT_WRITER",
"--define:FX_REDUCED_EXCEPTIONS",
"--define:FX_RESHAPED_REFEMIT",
"--define:FX_RESHAPED_GLOBALIZATION",
"--define:FX_RESHAPED_REFLECTION",
"--define:FX_RESHAPED_MSBUILD",
"--define:NETSTANDARD",
"--define:NETSTANDARD1_6",
//"--keyfile:C:\Users\Yatao\.nuget\packages\microsoft.dotnet.arcade.sdk\1.0.0-beta.19264.13\tools\snk/MSFT.snk
//"--publicsign+
"--optimize-",
//"--resource:C:\Users\Yatao\git\visualfsharp\artifacts\obj\FSharp.Core\Debug\netstandard1.6\FSCore.resources
],
"fsharp.project.includeCompileBefore": true
}
2 changes: 1 addition & 1 deletion package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"author": "Yatao Li",
"license": "MIT",
"icon": "Icon512.png",
"version": "0.1.46",
"version": "0.1.47",
"publisher": "yatli",
"repository": {
"type": "git",
Expand Down

0 comments on commit c708c1b

Please sign in to comment.