Renato Athaydes

In the linked blog post, Andrew Kelly, author of Zig, shows how to cross compile a C project, LuaJIT: ``` $ git clean -xfdq $ export CC="zig cc -target aarch64-linux-gnu"...

The cross compiler can even emit WASM, besides a large number of OS/architectures. https://ziglang.org/documentation/0.10.1/#WASI

I had a look and it seems to me the jdk7 Maven artifact was compiled with Java 8, therefore it won't work if you compile your project with Java 7....

Sorry, it seems it was ME who was using Java 8's javac :( Anyway, I got to try to compile the code using javac rather than Maven and got the...

Here's the culprit: https://github.com/typetools/checker-framework/blob/master/javacutil/src/org/checkerframework/javacutil/AbstractTypeProcessor.java#L119 The method does exist in OpenJDK 8's code: http://www.grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/8u40-b25/com/sun/source/util/JavacTask.java#JavacTask.instance%28javax.annotation.processing.ProcessingEnvironment%29 But not in Java 7: http://www.grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/7u40-b43/com/sun/source/util/JavacTask.java#JavacTask I confirmed with IntelliJ that Oracle's source also does not contain...

My whole session, just in case you find it hard to reproduce: ``` renato@renato ~/programming/java/checker-maven-demo $ javac -version javac 1.7.0_80 renato@renato ~/programming/java/checker-maven-demo $ javac -classpath /home/renato/programming/java/checker-maven-demo/target/classes:/home/renato/.m2/repository/org/checkerframework/checker/1.9.3/checker-1.9.3.jar:/home/renato/.m2/repository/org/checkerframework/checker-qual/1.9.3/checker-qual-1.9.3.jar:/home/renato/.m2/repository/org/checkerframework/jdk7/1.9.3/jdk7-1.9.3.jar: -sourcepath /home/renato/programming/java/checker-maven-demo/src/main/java:/home/renato/programming/java/checker-maven-demo/target/generated-sources/annotations: /home/renato/programming/java/checker-maven-demo/src/main/java/com/athaydes/checkerframework/NullnessExample.java -s...

Using the Checker Framework as it stands is a hassle with Java 7 or Java 8, which explains why it is not being widely used (can't find any blog posts,...

Well, I created the project which makes Maven and Java8 work well together (this is a fork of that). The guide in the current documentation tells me I have to...

Hi @Nipsuli if you don't mind, I have some suggestions... First, headers are not unique in a http message. For example, the [`Set-Cookie`](https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Set-Cookie) header is actually expected to be set...

I forgot to mention: the `HttpRequest` type is not accounting for the [4 different types](https://tools.ietf.org/html/rfc7230#section-5.3) of `request-target` that are possible: ``` request-target = origin-form / absolute-form / authority-form / asterisk-form...