Created
December 16, 2017 22:06
-
-
Save catalin-hritcu/0d69560709e4916c9c31e380ad699449 to your computer and use it in GitHub Desktop.
15.4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [hritcu@resurrected pub]$ make -C src (git)-[master] | |
| make: Entering directory '/home/hritcu/Projects/fstar/pub/src' | |
| mono VS/.nuget/NuGet.exe restore VS/FStar.sln | |
| All packages listed in packages.config are already installed. | |
| make -C VS install-packages | |
| make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/VS' | |
| [ -d packages ] || make update-nuget | |
| mono .nuget/NuGet.exe restore FStar.sln | |
| All packages listed in packages.config are already installed. | |
| find packages -name '*.exe' -exec chmod +x '{}' ';' | |
| make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/VS' | |
| /usr/bin/msbuild /verbosity:minimal /p:Configuration=Release VS/FStar.sln | |
| Microsoft (R) Build Engine version 15.4.0.0 ( Thu Oct 12 17:13:10 UTC 2017) for Mono | |
| Copyright (C) Microsoft Corporation. All rights reserved. | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /usr/lib/mono/msbuild/15.0/bin/Microsoft.Common.CurrentVersion.targets(2003,5): warning MSB3246: Resolved file has a bad image, no metadata, or is otherwise inaccessible. Could not load file or assembly 'System.Reflection.Metadata, Version=1.4.1.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/prims-fake.fs(2,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/prims-fake.fs(19,23): error FS0039: The value or constructor 'string_of_int' is not defined. Maybe you want one of the following: String string [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/prims-fake.fs(20,24): error FS0039: The value or constructor 'string_of_bool' is not defined. Maybe you want one of the following: string_of_int String string [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/fs/char.fs(17,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/fs/char.fs(21,19): error FS0039: The value, namespace, type or module 'Char' is not defined. Maybe you want one of the following: char char' [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/fs/char.fs(22,19): error FS0039: The value, namespace, type or module 'Char' is not defined. Maybe you want one of the following: char char' [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/fs/char.fs(23,21): error FS0039: The value, namespace, type or module 'Char' is not defined. Maybe you want one of the following: char char' [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/fs/char.fs(24,21): error FS0039: The value, namespace, type or module 'Char' is not defined. Maybe you want one of the following: char char' [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(17,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(18,36): error FS0039: The value, constructor, namespace or type 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(19,41): error FS0039: The value, constructor, namespace or type 'split' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(22,28): error FS0039: The value, constructor, namespace or type 'compare' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(26,26): error FS0039: The value, constructor, namespace or type 'lowercase' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(27,26): error FS0039: The value, constructor, namespace or type 'uppercase' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(30,30): error FS0039: The value, constructor, namespace or type 'sub' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(31,22): error FS0039: The value, constructor, namespace or type 'get' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.String.fs(34,42): error FS0039: The value, constructor, namespace or type 'fold_right' is not defined. Maybe you want one of the following: fold [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(3,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(77,51): error FS0039: The value, constructor, namespace or type 'flatten' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(124,28): error FS0039: The value, constructor, namespace or type 'fold_left' is not defined. Maybe you want one of the following: fold fold2 [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(126,31): error FS0039: The value, constructor, namespace or type 'fold_left2' is not defined. Maybe you want one of the following: fold [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(128,29): error FS0039: The value, constructor, namespace or type 'fold_right' is not defined. Maybe you want one of the following: fold [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(130,32): error FS0039: The value, constructor, namespace or type 'fold_right2' is not defined. Maybe you want one of the following: fold [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(135,20): error FS0039: The value, constructor, namespace or type 'mem' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.List.fs(244,20): error FS0039: The value, constructor, namespace or type 'split' is not defined. Maybe you want one of the following: splitAt splitInto [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(19,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(24,13): error FS0039: The namespace 'IO' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(27,13): error FS0039: The namespace 'Runtime' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(53,19): error FS0039: The type 'Process' is not defined. Maybe you want one of the following: proc Progress [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(53,19): error FS0039: The type 'Process' is not defined. Maybe you want one of the following: proc Progress [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(75,25): error FS0039: The type 'ProcessStartInfo' is not defined. Maybe you want one of the following: proc [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(78,20): error FS0039: The type 'Process' is not defined. Maybe you want one of the following: proc Progress [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(84,51): error FS0039: The value or constructor 'string_of_int' is not defined. Maybe you want one of the following: string_of_time String string StringSplitOptions [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(86,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(87,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(88,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(89,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(90,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(91,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(92,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(111,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(121,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(122,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(123,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(127,71): error FS0039: The value or constructor 'string_of_int' is not defined. Maybe you want one of the following: string_of_time String string StringSplitOptions [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(138,12): error FS0039: The field, constructor or member 'StandardInput' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(151,12): error FS0039: The field, constructor or member 'StandardInput' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(153,12): error FS0039: The field, constructor or member 'WaitForExit' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(163,19): error FS0039: The type 'ProcessStartInfo' is not defined. Maybe you want one of the following: proc [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(164,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(165,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(166,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(167,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(168,18): error FS0039: The type 'Process' is not defined. Maybe you want one of the following: proc Progress [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(169,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(170,16): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(171,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(172,16): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(173,16): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(390,32): error FS0039: The value or constructor 'int_of_string' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(407,25): error FS0039: The value or constructor 'string_of_int' is not defined. Maybe you want one of the following: string_of_time string_of_unicode String string string_of_string_builder [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(428,70): error FS0039: The value, constructor, namespace or type 'of_char' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(434,11): error FS0039: The value or constructor 'int_of_float' is not defined. Maybe you want one of the following: string_of_float int_of_byte int_of_char int_of_int32 int_of_uint8 [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(435,11): error FS0039: The value or constructor 'float_of_int' is not defined. Maybe you want one of the following: float_of_int32 float_of_int64 float_of_string float_of_byte float [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(685,58): error FS0039: The value or constructor 'flush' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(804,3): error FS0039: The value or constructor 'print_endline' is not defined. Maybe you want one of the following: print_generic print_string print print1_warning print2_warning [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(860,35): error FS0039: The value, constructor, namespace or type 'BigInteger' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(865,38): error FS0039: The type 'Stopwatch' is not defined in 'System.Diagnostics'. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(866,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(868,60): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(889,3): error FS0039: The type 'DataContract' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(957,10): error FS0039: The type 'DataContractJsonSerializer' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(957,5): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(962,20): error FS0039: The type 'DataContractJsonSerializer' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(962,15): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(963,5): error FS0008: This runtime coercion or type test from type 'a to 't involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(1023,35): error FS0039: The type 'Web' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(1024,18): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(1031,31): error FS0039: The type 'Web' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Util.fs(1032,3): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Compiler.Bytes.fs(35,13): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Compiler.Bytes.fs(55,6): error FS0039: The value or constructor 'really_input' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Compiler.Bytes.fs(60,13): error FS0039: The value or constructor 'input' is not defined. Maybe you want one of the following: int [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.Compiler.Bytes.fs(64,3): error FS0039: The value, namespace, type or module 'Pervasives' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.BigInt.fsi(6,14): error FS0039: The type 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/FStar.BigInt.fsi(6,14): error FS0039: The type 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(3,19): error FS0039: The namespace 'Compatibility' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(5,15): error FS0039: The namespace or module 'Z' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(5,15): error FS0039: The namespace or module 'Z' is not defined. [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(9,12): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(10,11): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(11,11): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(13,20): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(14,20): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(15,21): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(16,19): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(18,19): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(19,20): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(20,19): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| /home/hritcu/Projects/fstar/pub/src/basic/boot/NotFStar.BigInt.fs(21,19): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following: t [/home/hritcu/Projects/fstar/pub/src/basic/basic.fsproj] | |
| Restoring NuGet packages... | |
| To prevent NuGet from downloading packages during build, open the Visual Studio Options dialog, click on the Package Manager node and uncheck 'Allow NuGet to download missing packages'. | |
| make: *** [Makefile:18: fstar-in-fsharp] Error 1 | |
| make: Leaving directory '/home/hritcu/Projects/fstar/pub/src' | |
| [hritcu@resurrected pub]$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment