Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

App.config in up-to-date check causes rebuilds #11

Closed
KevinRansom opened this issue Jan 14, 2015 · 14 comments
Closed

App.config in up-to-date check causes rebuilds #11

KevinRansom opened this issue Jan 14, 2015 · 14 comments
Labels
Milestone

Comments

@KevinRansom
Copy link
Member

Opened by: rojepp

When building, the file app.config gets copied to the output directory with a new name, programname.exe.config.

The up-to-date checker regards app.config as an output, causing needless rebuilds, here's what gets logged after enabling up-to-date check logging:

Output: 12/9/2014 9:44:03 AM C:\DEV\VGR\VUF\VUFCONSOLE\OBJ\X86\RELEASE\VUFCONSOLE.EXE
Output: 11/15/2013 1:48:33 PM C:\DEV\VGR\VUF\VUFCONSOLE\APP.CONFIG
Output: 12/9/2014 9:44:03 AM C:\DEV\VGR\VUF\VUFCONSOLE\BIN\RELEASE\NIBBLERCONSOLE.XML
Output: 12/9/2014 9:44:03 AM C:\DEV\VGR\VUF\VUFCONSOLE\OBJ\X86\RELEASE\VUFCONSOLE.PDB
Output: 12/9/2014 9:44:03 AM C:\DEV\VGR\VUF\VUFCONSOLE\BIN\RELEASE\VUFCONSOLE.EXE
Input: 12/9/2014 9:44:02 AM C:\DEV\VGR\VUF\VUFCONSOLE\VUFCONSOLE.FSPROJ
Input: 5/20/2014 8:54:02 PM C:\DEV\VGR\VUF\VUFCONSOLE\VUFCONSOLE.FS
Input: 6/2/2014 8:17:24 PM C:\PROGRAM FILES (X86)\REFERENCE ASSEMBLIES\MICROSOFT\FSHARP.NETFRAMEWORK\V4.0\4.3.0.0\FSHARP.CORE.DLL
Input: 3/18/2010 7:31:26 PM C:\PROGRAM FILES (X86)\REFERENCE ASSEMBLIES\MICROSOFT\FRAMEWORK.NETFRAMEWORK\V4.0\MSCORLIB.DLL
Input: 3/18/2010 7:31:26 PM C:\PROGRAM FILES (X86)\REFERENCE ASSEMBLIES\MICROSOFT\FRAMEWORK.NETFRAMEWORK\V4.0\SYSTEM.DLL
Input: 3/18/2010 7:31:26 PM C:\PROGRAM FILES (X86)\REFERENCE ASSEMBLIES\MICROSOFT\FRAMEWORK.NETFRAMEWORK\V4.0\SYSTEM.DATA.DLL
Input: 3/18/2010 7:31:26 PM C:\PROGRAM FILES (X86)\REFERENCE ASSEMBLIES\MICROSOFT\FRAMEWORK.NETFRAMEWORK\V4.0\SYSTEM.NUMERICS.DLL
Input: 12/9/2014 9:39:42 AM C:\DEV\VGR\VUF\VUF\BIN\RELEASE\VUF.DLL
Freshest input: 12/9/2014 9:44:02 AM
Stalest output: 11/15/2013 1:48:33 PM
Up to date: False

Note that app.config is listed as an output, when really it should be an input, and VufConsole.exe.config should be regarded an output. This means this console app rebuilds every time after app.config hasn't been touched in a while.

comments
latkin wrote Dec 9, 2014 at 10:22 AM [x]

Fixed with cb97ccb
BTW this is the same as #184

latkin wrote Dec 9, 2014 at 10:23 AM [x]
** Closed by latkin 12/09/2014 10:23AM

rojepp wrote Dec 9, 2014 at 11:37 PM [x]
I built the latest bits, and the fix seems to work. Thanks!

rojepp wrote Dec 9, 2014 at 11:41 PM [x]
ProgramName.exe.config should be counted as an output when checking for staleness.
This means a rebuild won't be triggered by manually editing the built config. To be fair, it works the same in C#, but I'd say it is a bug there as well.

latkin wrote Dec 17, 2014 at 4:39 PM [x]
This looks like an easy fix, item type is "AppConfigFileDestination", should be able to just add to the list of input item types.

latkin wrote Dec 17, 2014 at 4:40 PM [x]
Err, sorry. Need to include as an outpu

@latkin latkin added the Bug label Jan 19, 2015
@enricosada
Copy link
Contributor

I am debugging this , it's very annoying on the solution FSharp

I'll try to fix it, assign it to me

@latkin
Copy link
Contributor

latkin commented Feb 23, 2015

@enricosada thanks for taking this. You just need to update here with well-known item capability similar to here.

@latkin latkin self-assigned this Feb 23, 2015
@latkin
Copy link
Contributor

latkin commented Feb 23, 2015

It's yours, assigning to myself until we have the ability to assign outside of Microsoft org.

@enricosada
Copy link
Contributor

i cannot repro.

tried with latest ( master branch ) with ad hoc solution and fsharp.sln .
The up-to-date is correct.

I was trying to fix fsharp solution useless rebuild, but this seem ok.

i tried to:

  • change generated app.config -> up-to-date
  • change original app.config -> up-to-date
  • use a Content "file.txt" (with CopyNever, CopyIfNewer, CopyAlways) -> ok

@rojepp
Copy link
Contributor

rojepp commented Feb 24, 2015

@enricosada What do you mean when you say 'up-to-date'?

Expected behavior:

  • Original app.config changed -> causes rebuild of project
  • Generated app.config changed -> no rebuild
  • "file.txt" changed -> Rebuild for CopyIfNewer, CopyAlways

@enricosada
Copy link
Contributor

thx @rojepp i'll try your test case

@enricosada
Copy link
Contributor

ok i can repro now, thx

  • open solution
  • build -> build success
  • build -> up to date
  • change original app.config
  • build -> build success
  • build -> build success ( ❗ expected up to date )

@rojepp
Copy link
Contributor

rojepp commented Feb 24, 2015

@latkin contributed a fix for that, and I verified it in 3.1.2, so I'm surprised by that.
The remainder of the issue was that generated app.config wasn't considered an output of the build, meaning if generated app.config is older than original app.config it wouldn't cause a rebuild.

If you're going to be working on this, I have to say this registry tip is invaluable: What causes a rebuild in MSBuild

@rojepp
Copy link
Contributor

rojepp commented Feb 24, 2015

@enricosada That tip will show files in input and output buckets with their modified times. AFAIR generated app.config is in the wrong bucket (input instead of output) causing strange rebuilds.

@rojepp
Copy link
Contributor

rojepp commented Feb 24, 2015

The issue from codeplex above is truncated, and the original issue is gone.

@enricosada
Copy link
Contributor

really thx @rojepp i'll add the registry tip to the wiki, is very nice to know

@latkin
Copy link
Contributor

latkin commented Feb 24, 2015

Yes, F# impl looks at reg key @rojepp mentioned, and logs info to the output window about the files it's looking at and their timestamps. This is the first step to debugging.

Behavior today should be as follows (and I added tests for this, so if it's not working, it needs to be investigated). Assuming everything is built fresh and up-to-date:

  • ✅ Modifying app.config source does trigger dirty state and causes rebuild.
    • This was originally not working, and that's what this bug was opened for. I fixed it.
  • ❌ Modifying myapp.exe.config output file does not trigger dirty state, will still report "up-to-date"
    • @rojepp noticed this was still not working, so we are looking at it now

Note: C# proj sys has same behavior as us for No. 2 (and always has), so it's not a big deal if we don't fix this.

Thinking about it, it might be tricky. Even if we declare the project dirty and MSBuild runs, I'm not sure that MSBuild is smart enough to re-create the myapp.exe.config file. @enricosada you will have to poke around a bit.

@latkin
Copy link
Contributor

latkin commented Feb 24, 2015

AFAIR generated app.config is in the wrong bucket (input instead of output) causing strange rebuilds.

Generated myapp.exe.config is not in any bucket, it's not tracked at all right now, that's the problem. Source app.config is (now) in proper Input bucket.

@enricosada
Copy link
Contributor

an update, working on it (i need to end the other pr before this one).

I am trying to fix without a special case on app.config

the rules are msdn Incremental Builds and msdn How to: Build Incrementally

an useful item metadata list and project properties

the input, output can be inferred by OriginalItemSpec and FinalOutputPath metadata

the build output group are:

  • Built
  • ContentFiles
  • LocalizedResourceDlls
  • Documentation-
  • Symbols
  • SourceFiles
  • XmlSerializer

for example:

app.config

  • OriginalItemSpec = "App.config"
  • FinalOutputPath = "C:\path\to\project\bin\Debug\ConsoleApplication1.exe"

.pdb (Symbols)

  • FinalOutputPath = "C:\path\to\project\bin\Debug\ConsoleApplication1.pdb"
    but no OriginalItemSpec, so need check with all source files

Content items

  • CopyToOutputDirectory = "PreserveNewest"
  • TargetPath = "readme.txt"

so this group need a special case i think, but as group no single item

@dsyme dsyme added the pri-2 label May 12, 2015
@latkin latkin closed this as completed in 39f7f47 May 19, 2015
@latkin latkin added this to the VS 2015 milestone May 19, 2015
@latkin latkin added the fixed label May 19, 2015
liboz pushed a commit to liboz/visualfsharp that referenced this issue Oct 15, 2016
seq.tail and a fix to takewhile to use avoidtailcall
nelak pushed a commit to nelak/visualfsharp that referenced this issue Nov 27, 2016
Fixing option null printing for record values (WIP)
KevinRansom pushed a commit that referenced this issue Dec 18, 2017
* Add tests for C# use of FuncConvert.ToFSharpFunc

* Update test.cs
vzarytovskii added a commit to vzarytovskii/fsharp that referenced this issue Aug 18, 2023
psfinaki pushed a commit that referenced this issue Dec 1, 2023
* Parser: recover on unfinished record decls, fix field ranges

* Fantomas

* Better diagnostic ranges for fields

* More parser tests

* Update surface area

* Fix xml doc test

* Update baselines

* Update src/Compiler/SyntaxTree/SyntaxTree.fsi

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>

* Add MutableKeyword to SynFieldTrivia. (#11)

* Simplify

* Fantomas

---------

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
T-Gro added a commit that referenced this issue Dec 4, 2023
* Fixes #16359 - correctly handle imports with 0 length public key tokens (#16363)

* Parser: recover on unfinished record decls, fix field ranges (#16357)

* Parser: recover on unfinished record decls, fix field ranges

* Fantomas

* Better diagnostic ranges for fields

* More parser tests

* Update surface area

* Fix xml doc test

* Update baselines

* Update src/Compiler/SyntaxTree/SyntaxTree.fsi

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>

* Add MutableKeyword to SynFieldTrivia. (#11)

* Simplify

* Fantomas

---------

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

---------

Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>
Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
vzarytovskii added a commit that referenced this issue Jul 17, 2024
* squash

* squash

* move adhoc tests and clean errors

* fix up constraint solving and adhoc testing

* remove tests

* fantomas

* skip fails

* fix tests

* fix up test baselines for change in order in checking

* update tests

* don't overwrite baselines

* fix some test failures

* skip warnings

* skip warnings

* fix warning logic

* fix tests

* fix sizes

* fix build

* fantomas and validation update

* corrections to self-use

* [WIP] [RFC FS-1060] Nullness checking (applied to codebase) (#15265)

* enablement

* enablement

* fix build

* fix build

* fantomas

* selective adoption

* Revert "[WIP] [RFC FS-1060] Nullness checking (applied to codebase) (#15265)" (#15309)

This reverts commit 559c058.

* Fixes

* Feature/nullness - parsing of constraints (#15753)

* Feature/nullness - parsing of constraints for:
'T: not null ....  syntax in Type argument specification
appType | NULL ...  for specifying types

* applying changed syntax

* positive.fs updated

* positive.fs paranthesis

* fixing "parse warning Remove spaces between the type name and type parameter, e.g. "C<'T>", not "C <'T>". Type parameters must be placed directly adjacent to the type name."

* positive .bsl updated

* Please mighty fantomas

* Feature nullness metadata export (#15981)

* fix merge mistake

* fix build

* fantomas

* bsl fix

* il tests update

* fix test

* tests fixed

* fantomas

* fix tests

* trim test

* trimming test

* trim check

* now?

* IL tests

* il tests

* trim test

* trim

* one more time

* Merge main to feature/nullness (#16366)

* Fixes #16359 - correctly handle imports with 0 length public key tokens (#16363)

* Parser: recover on unfinished record decls, fix field ranges (#16357)

* Parser: recover on unfinished record decls, fix field ranges

* Fantomas

* Better diagnostic ranges for fields

* More parser tests

* Update surface area

* Fix xml doc test

* Update baselines

* Update src/Compiler/SyntaxTree/SyntaxTree.fsi

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>

* Add MutableKeyword to SynFieldTrivia. (#11)

* Simplify

* Fantomas

---------

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

---------

Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>
Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>

* syntax tree layout

* Nullness-related aggressive trimming of FSharp.Core (#16387)

* Merge main to feature/nullness (#16397)

* [main] Update dependencies from dnceng/internal/dotnet-optimization (#16150)

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231019.5

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23519.5

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231019.5

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23519.5

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231021.3

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23521.3

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231021.3

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23521.3

---------

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* [main] Update dependencies from dotnet/arcade (#16241)

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

---------

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>

* Name resolution: don't search extension members in type abbreviations (#16390)

* Name resolution: don't search extension members in type abbreviations

* Add test

* Revert "[main] Update dependencies from dotnet/arcade (#16241)" (#16396)

This reverts commit f219a99.

* trimmed size updated

---------

Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>

* Nullness interop - import of C#-emitted metadata (#16423)

* Nullness - include in QuickInfo and in general in "typeEnc" (string representation of a type) (#16555)

* failing test

* todo for IL import

* explanation added

* il meta parsing

* flags evaluation

* you shall passs

* evaluateFirstOrderNullnessAndAdvance

* import il type with nullness

* type import

* IL nullness import

fields, props, events, method args, method return types - nullness imported from IL

* test rename

* fantomas

* get stack trace on error

* split ilmethod's type

* fix crashes for Csharp style extensions

* solve coexistance of nullness and Is* properties of DUs

* updating tests

* clean tests

* fantomas

* fantomas one more time

* importing nullness for generic typars

* print failing ivals, let's see

* write even more!

* isolated failing test - combo of module rec, signature file, IVT

* another attempt

* format

* test

* hide tests

* Remove 'specialname' for DU case tester

* format

* warning as error

* update baseline netcore

* nullable errors not in desktop framework

* surface area, trimming

* surface area

* cosmetic cleanup & annotations

* Rename to ILMethParentTypeInfo

* making vMapFold tail recursive

* physical nullnessEquiv

* format

* Commenting SkipNullness usages

* Nullness work - activity module

* Remove strict generic 'T:null' import

* Null|NonNull pattern also for regular compilation

* Backported Null|NonNull active pattern

* one more time

* revert

* Show nullness in quickinfo and in general in type representations

* Merge main to feature/nullness (#16539)

Merge of main + syntax conflict resolution + semantic conflict resolution

* release notes

* Fix ILType.Array import (#16585)

* Nullness - reading+writing metadata for  'inherits' and interface implementations (#16597)

* ILGenerator test case

* Nullness :: Format string %s should allow nullable string (#16656)

* Nullness::  Unchecked.nonNull for FSharp.Core (#16654)

* Nullness :: Pattern matching with null should mark input for subsequent clauses as without null + support for matching nulls in tuples (#16659)

* Feature nullness - support overrides of nullness annotation in the imported object hierarchy (#16711)

* Improve type inference w.r.t. nullness in printing (#16681)

* Update tests/AheadOfTime/Trimming/check.ps1

* Fix merge errors

* il tests reflecting visibility change

* Nullness feature :: New warning for functions insisting on a (WithNull) argument + typar equality fix (#16853)

Null-handling functions now have the option to raise a warning when they are called with a known-to-be-withoutNull argument.
That way, API authors (incl. Fsharp.Core) can help with cleaning code from superflous null checks.

While doing it, a strange error kept coming when using Option.ofObj and other functions with a (T | null) typar.
It turned out that nullness info had been striped from nullable typars on stripTyparEqnsAux calls in some occasions, leading to treating all typars as 'KnownWithoutNull' even when that was not true.

* Feature nullness - propper guards against ` | null ` on unsupported types (#16907)

TODOs resolved:
* mkAppTy resolved
* mkFunTyWithNullness
* delayed checks of post-infered values for nullness-carrying capabilities

* Feature nullness :: warn also for 'obj' type (since it can be infered for null literal) (#16962)

* Nullness feature :: various bugfixes (#17080)

* Bugfix - matching aliased nullable should strip nullness

Eliminating nullness after pattern matching null (that is , for subsequent patterns) must visit contents of abbreviations as well. Otherwise it does not work with the Maybe<T> type whcih we use in the compiler.

* Making 'obj' work with new 'not null' constraints in fslib functions

Bugfix: obj cannot be passed to generic typars which require T: not null, such as the NonNull active pattern.

This commit fixes it.

* Bugfix - false 'useless null' warning in nested applications

Error fixed:
Error on useless null checkwith nullness constraint propagation in code like this:let meTry = Option.ofObj (Path.GetDirectoryName "")`. The warning about 'useless Option.ofObj' points to the string literal, ignoring the string literal is first passed to an API which may return null

* Fix import for C# extension methods

Bugfix for:
C# extension methods which put "?" on the this argument are wrongly interpreted by moving the nullability elsewhere. See AsMemory<T> from System.Memory.dll , this treats byteArray.ToMemory() as resulting in a Memory<byte | null> which is clearly wrong.

Also, this now allows to call C# extension methods with ?this to be invoked on a nullable value.

* LinkedList First,Last bugfix

There was a bug of LinkedList .First and .Last properties not returning nullable nodes.
This was fixed by improved byte import in previous commit, adding a regression test for guarding this.


* Bugfix: Solve nullness for typars

This fixes a bug where `not null` generic constraint was incorrectly passed between two typars:`T1 | null` with not null constraint on T1, and T2 without constraints.

This occured when calling Option.ofObj(..) when the inner expression caused solving of generic type arguments, e.g. after (|>) or (id) function.

This uses additional inference variable to unify them.

* updating IL tests

* One more try

* surface area

* trimmed size

* trimmed size

* fix issues for plain 'dotnet build Fsharp.Compiler.Service.sln`

* update FSharpCoreShippedPackageVersionValue

* Wkraround attributetargets issue by using 'obj'. This removes 3x box and adds 1x unbox.

* Feature nullness :: Bugfixes (#17102)

* Ignore Nullness applied on structs (C# allows T? when when T is a struct)
* Bigfix: Working with CLI events in Fsharp
* Bugfix: Mutable binding initially assigned to null should not need type annotation
* Solving `let mutable cache = null` via type inference
* Enforcing TyparConstraint.IsReferenceType when WithNull type is used
* Nullness-related constraint consistency
* Bugfix for emitting Nullable attrs for C#

* Automated command ran: fantomas

  Co-authored-by: T-Gro <46543583+T-Gro@users.noreply.github.com>

* Feature nullness ::  Try infer without null even when function/method arg is marked as nullable (#17269)

* Feature nullness :: apply nullness annotations to usages of 'obj' in Fsharp.Core (#17284)

* resolve build error from auto-merge

* Feature nullness :: Cleanups, Test reorg, fix incrementalbuild cache behavior (#17309)


* Fix TransparentCompiler - it should report PostInference errors if it only encountered a warning (reported as an error due to confiig)

* fix build issues

* resolve semantic merge error

* Nullness subsumption when used for contravariant typars

* fix nullness plain build (#17404)

* Update docs/release-notes/.FSharp.Compiler.Service/8.0.300.md

* Update release notes

* Update check.ps1

* Update check.ps1

---------

Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: dotnet bot <dotnet-bot@dotnetfoundation.org>
Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>
Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: psfinaki <psfinaki@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants