Skip to content

Instantly share code, notes, and snippets.

@dvanhorn
Created November 19, 2012 03:14
Show Gist options
  • Save dvanhorn/4108759 to your computer and use it in GitHub Desktop.
Save dvanhorn/4108759 to your computer and use it in GitHub Desktop.
mono fstar.exe error
$ mono fstar.exe
Missing method get_argv in assembly /Users/dvanhorn/Documents/play/fstar/fstar-0.5-alpha/bin/basic.dll, type Microsoft.FSharp.Compatibility.OCaml.SysModule
Unexpected exception :(
System.IO.FileNotFoundException: Could not load file or assembly 'FSharp.PowerPack.Compatibility, Version=2.0.0.0, Culture=neutral, PublicKeyToken=a19089b1c74d0809' or one of its dependencies.
File name: 'FSharp.PowerPack.Compatibility, Version=2.0.0.0, Culture=neutral, PublicKeyToken=a19089b1c74d0809'
at Microsoft.FStar.FStar.process_args () [0x00000] in <filename unknown>:0
at Microsoft.FStar.FStar.do_main[Unit] (Microsoft.FSharp.Core.Unit _arg1) [0x00000] in <filename unknown>:0 Missing method flush in assembly /Users/dvanhorn/Documents/play/fstar/fstar-0.5-alpha/bin/fstar.exe, type Microsoft.FSharp.Compatibility.OCaml.PervasivesModule
Unhandled Exception: System.IO.FileNotFoundException: Could not load file or assembly 'FSharp.PowerPack.Compatibility, Version=2.0.0.0, Culture=neutral, PublicKeyToken=a19089b1c74d0809' or one of its dependencies.
File name: 'FSharp.PowerPack.Compatibility, Version=2.0.0.0, Culture=neutral, PublicKeyToken=a19089b1c74d0809'
at <StartupCode$fstar>.$Microsoft.FStar.Wrapper.main@ () [0x00000] in <filename unknown>:0
$ mono --version
Mono JIT compiler version 2.10.1 (tarball Fri Feb 25 15:56:49 MST 2011)
Copyright (C) 2002-2011 Novell, Inc and Contributors. www.mono-project.com
TLS: normal
SIGSEGV: normal
Notification: Thread + polling
Architecture: x86
Disabled: none
Misc: debugger softdebug
LLVM: yes(2.9svn-mono)
GC: Included Boehm (with typed GC)
$ uname -a
Darwin doom.local 12.0.0 Darwin Kernel Version 12.0.0: Sun Jun 24 23:00:16 PDT 2012; root:xnu-2050.7.9~1/RELEASE_X86_64 x86_64
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment