Yoann Padioleau

Results 46 issues of Yoann Padioleau

Most OCaml libraries comes with a set of .cmt files in ~/.opam/.../lib// so tools like merlin can help programmers find the definition of a function. Is there any reason eliom...

Hi, I would like to write a simple program that works across multiple languages (hence the use of LSP) which given a file and a position return typing information at...

From https://github.com/returntocorp/semgrep/issues/3993 this program: ``` _ := os.GetEnv("Test") ``` without the ending newline is parsed as a type conversion instead of a regular function call.

This is really weird, but if I update my application to ppxlib 0.22, then running the application without any argument takes 1.1s where with 0.15 it takes 0.1s. Here is...

Is there any plan @lihaoyi to extend/fork scalaparse to also handle scala3? The scala3 grammar seems pretty stable now and it would be nice to have a fast way to...

### Problem description See https://github.com/returntocorp/semgrep/issues/5480 According to the spec: https://openjdk.java.net/jeps/359 record can be declared at the toplevel ### Expected parse tree output (optional) ### Actual parse tree output (optional)

g++ -c -o agramlex.yy.o agramlex.yy.cc -g -Wall -Wno-deprecated -D__UNIX__ -DNDEBUG -D__LINUX__ -I../smbase In file included from ../smbase/sm_flexlexer.h:28, from agramlex.yy.cc:247: /usr/local/include/FlexLexer.h:130: error: expected unqualified-id before numeric constant agramlex.yy.cc: In member function...

### Context - [X] This issue is not a bug report. *(please use a different template for reporting a bug)* - [X] This issue is not a duplicate of an...

feature-request

Before this PR, you would get many semgrep errors at CI time (e.g., about List.map that should be replaced by Common.map). It's better to get them ASAP, at pre-commit time....

Semgrep does not even run on a file explicitely listed: ``` $ semgrep -e '$X == $X' -l js misc_bang.rs skipped: all .gitignored files for a detailed list of skipped...

priority:low
user:r2c
error-reporting
feature:file-targeting