gistfile1.txt

fsharpc --mlcompatibility --nowarn:0086 -o out/hello.exe ../../ulib/fs/prims.fs ../../ulib/fs/io.fs out/Hello.fs
Microsoft (R) F# Compiler version 10.2.3 for F# 4.5
Copyright (c) Microsoft Corporation. All Rights Reserved.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(4,21): error FS0039: The namespace 'Compatibility' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(6,19): error FS0039: The namespace 'Compatibility' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,21): error FS0039: The type 'Z' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,27): error FS0039: The namespace or module 'Z' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,40): error FS0039: The type 't' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,44): error FS0039: The type 't' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,21): error FS0039: The type 'Z' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,27): error FS0039: The namespace or module 'Z' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,40): error FS0039: The type 't' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(14,44): error FS0039: The type 't' is not defined.

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(15,8): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(16,30): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(17,7): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(18,13): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(19,28): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(20,14): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(21,9): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(21,28): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(23,9): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(24,9): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n
   q
   r

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(25,10): error FS0039: The value, namespace, type or module 'Z' is not defined. Maybe you want one of the following:
   d
   n

/home/hritcu/Projects/fstar/pub/ulib/fs/prims.fs(113,23): error FS0039: The value, namespace, type or module 'Obj' is not defined. Maybe you want one of the following:
   obj

/home/hritcu/Projects/fstar/pub/ulib/fs/io.fs(10,38): error FS0741: Unable to parse format string ''x' format does not support precision'

/home/hritcu/Projects/fstar/pub/ulib/fs/io.fs(11,39): error FS0741: Unable to parse format string ''x' format does not support precision'

/home/hritcu/Projects/fstar/pub/ulib/fs/io.fs(12,39): error FS0741: Unable to parse format string ''x' format does not support precision'

/home/hritcu/Projects/fstar/pub/examples/hello/out/Hello.fs(4,12): error FS0039: The namespace 'Pervasives' is not defined.

/home/hritcu/Projects/fstar/pub/examples/hello/out/Hello.fs(9,51): error FS0039: The type 'Pervasives' is not defined.

/home/hritcu/Projects/fstar/pub/examples/hello/out/Hello.fs(9,140): error FS0039: The type 'Pervasives' is not defined.

/home/hritcu/Projects/fstar/pub/examples/hello/out/Hello.fs(10,9): error FS0039: The constructor, module or namespace 'Pervasives' is not defined.