Open source pull: Fixing and adding more tests

forki requested forki/fsharp:TESTS to be merged into visualfsharp:master on Wed Apr 9, 2014 at 8:57 AM
 Assigned to: Unassigned   (assign)
 Commits: 1393b5d6df25, 15cc407c35a5, 15f1095ad5bd, 32e136dd521d, 3c57ac29981f, 3decb7c7169d, 4ca05d574a93, 5b729a9e3ad7, 677178cbf04b, 6aa71d1f8752, a255bb7a3489, c0f9e03ff3b3, c8f37ccf7e26, edfac939fcfc, fa12dc3dd83b, ff148db3ae9c
 (changeset 1233272)

Root cause was that compiler was not embedding a win32 manifest into generated executables, thus all EXEs were running virtualized and at the mercy of "Installer Detection Technology" (see http://technet.microsoft.com/en-us/library/cc709628(v=WS.10).aspx for heuristics used).  EXEs with "update", "install", etc in their file names triggered the heuristic and required admin privs to run.  Trying to start these from VS would not work unless you were also running VS as admin.  The old logic used to decide whether to embed a manifest was tied to .NET version and had drifted out of date.

New logic is to embed the default manifest for all EXEs unless there is some specific config that precludes this.  New test added to validate that a manifest is present for EXE, absent for DLL. (changeset 1232952)

Slice expressions (ex., e1.[e1..e2]) looks similar to range expression (ex., [| e1 .. e2 |] ) but their behaviors are not consistent when length < 0. For example, [| 1..10 |].[3..1] raises overflow exception while [| 3..1 |] evaluates [| |]. In this shelveset, length check is added consistently for array/string slice expressions, so their behaviors looks consistent.

Additionally, for open-ended slices (e.g., m.[1..] or m.[..5]), exception would raise for invalid range. (changeset 1231622)

Update open build to target .NET 4.5 and MSBuild 12.  This aligns the open build with what ships in VS 2013 and F# 3.1.1 OOB.

Also stripping out some unnecessary configuration checking - 'net40' is the only supported TargetFramework for building the compiler, build libraries, and type providers. Only FSharp.Core supports other target platforms. (changeset 1227697)

Reconfiguring a bunch of tests that were hard-coded to use Visual Studio paths to find FSharp.Core and other F# bits.  They will now use open-built bits when run from an open repo. (changeset 1226736)

Fixing defines for portable profile 47 FSharp.Core to align with what ships in Visual Studio F# (changeset 1226720)

Allow user to specify what build flavor they want to run tests against, debug or release. (changeset 1225561)

Add required plumbing so that one can build FSharp.Core for portable profile 47 in open repo (Requires rebuild of Proto so that portable targets file gets dropped) (changeset 1225504)

Move the hosted compiler infrastructure over to the open repo and refactor projects so that it builds from source rather than requiring a checked-in binary. (changeset 1225435)

Refactoring the ILComparer tool project so that it can build from source, instead of requiring a checked-in binary (changeset 1225430)

- If we work the DEVGUIDE step-by-step we will be in /src
- In order to get to tests we need to step out

- Use a simple version span instead of listing every individual version redirected
- Redirect to *.9055 so that open bits will be used instead of shipped VS bits
- Update fsc.fsproj to actually copy its exe.config (changeset 1222653)

Swapping <tt> tags in DEVGUIDE and TESTGUIDE with <code> tags to increase compatibility with CodePlex (changeset 1222337)

Adding script to handle GAC, strong name verification skips, and ngen.  Updating docs accordingly. (changeset 1222151)

- Add fsiAnyCpu to fsharp.sln
- Add fsi.exe.config to fsi.fsproj
- Remove some dead comment code from fsi.fsproj, fsiAnyCpu.fsproj
- Give fsiAnyCpu a new project GUID, it had been copied from fsi.fsproj
- Better align fsi.fsproj and fsiAnyCpu.fsproj wrt whitespace and other small details (changeset 1221287)

Adding top-level project for FSharp.Data.TypeProviders, including it in sln, and updating docs (changeset 1220397)

Various cleanup of RunTests.cmd, in particular setting all suites to write similarly-named log files directly to \tests.  Also updating the docs and adding .gitignore for test logs. (changeset 1219334)