ponylang / flycheck-pony Goto Github PK
View Code? Open in Web Editor NEW:horse: A Flycheck syntax checker for the Pony language.
Home Page: https://www.ponylang.io/
License: GNU General Public License v3.0
:horse: A Flycheck syntax checker for the Pony language.
Home Page: https://www.ponylang.io/
License: GNU General Public License v3.0
Have you considered submitting flycheck-pony to melpa for slightly easier installation and discovery?
Using ponyc -rexpr
leaves exceptions/error checking out. For example the following code (taken from the tutorial) does not compile, but it passes checking with -rexpr
.
actor Main
new create(env: Env) =>
let iterator = ["Bob"; "Fred"; "Sarah"].values()
while iterator.has_next() do
let name = iterator.next()?
env.out.print(name)
end
Editing a .pony
file in Emacs 24.5.1 without saving it, I'm getting lots of:
Suspicious state from syntax checker pony: Checker pony returned non-zero exit code 255, but no errors from output: Building . -> /home/<user>/proj/pony/helloworld
/home/<user>/proj/pony/helloworld/.#main.pony: can't open file
/home/<user>/proj/pony/helloworld/.#main.pony: couldn't open file /home/<user>/proj/pony/helloworld/.#main.pony
Checker definition probably flawed.
The .#main.pony
file appears to be a (broken) symlink which Emacs uses as a lockfile to avoid editing collisions.
A temporary workaround (until either an Emacs update handles these files differently or ponyc learns to ignore them) is to add
(setq create-lockfiles nil)
in your ~/.emacs
file. See http://stackoverflow.com/q/5738170/588561 for more details.
I thought that wasn't used anymore. We don't have source for it or update it. We should replace it as appropriate.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.