Open varosi opened 6 years ago
On Atom 1.30 on Windows 10 x64 I got that message:
(0,0-0,0): (Warning 281) Error locations may be wrong, unrecognized string after #push:
on the erroneous program:
module Hello let main = aksldjaskl
module Hello
let main = aksldjaskl
F* version downloaded as a binary from the official site:
C:\Users\Some>fstar --version F* 0.9.6.0 platform=Windows_x64 compiler=OCaml 4.05.0 date=2018-05-17T15:32:12-07:00 commit=743819b90 (dirty)
On Atom 1.30 on Windows 10 x64 I got that message:
on the erroneous program:
F* version downloaded as a binary from the official site: