search

FStarLang / VimFStar

A Vim mode for FStar
Vim License
24 stars 12 forks source link

Opening a FStar file raises an exception #15

Open anithag opened 8 years ago

anithag commented 8 years ago

On my Macbook, opening any .fst file using 'vim' gives this error.

Error detected while processing /Users/anithagollamudi/.vim/bundle/VimFStar/ftplugin/fstar.vim:
line   47:
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/Users/anithagollamudi/.vim/bundle/VimFStar/ftplugin/fstar-inter.py", line 62, in fstar_init
    fst=Popen([fstarpath,'--in'],stdin=PIPE, stdout=PIPE,bufsize=1,close_fds=ON_POSIX)
  File "/usr/lib/python2.7/subprocess.py", line 710, in __init__
    errread, errwrite)
  File "/usr/lib/python2.7/subprocess.py", line 1335, in _execute_child
    raise child_exception
OSError: [Errno 8] Exec format error
msprotz commented 8 years ago

Yeah I use vim but I don't use this plugin. As far as I know, I never could get it to work reliably...

catalin-hritcu commented 8 years ago

@ngrimm Any interest in reviving the vim plugin?