Burak Emir
Burak Emir
Once string literals are parsed (by the ANTLR generated parser,) we need to process the string a bit before turning it into a string constant. This happens in the [parse/parse.go...
Per Rust API Guidelines, unsafe functions should be documented with invariants: https://rust-lang.github.io/api-guidelines/documentation.html During review of the source, it was pointed out there is no safety comment here that describes what...
This program does not work: ``` path(Src, Dst, W) :- edge(Src, Dst, W). path(Src, Dst, W) :- path(Src, X1, W1), edge(X1, Dst, W2), W = fn:plus(W1, W2). ``` Error message:...
When a rule body refers to predicate `foo(X1,...,Xn)` but `foo` has arity m != n, the error message currently says "could not find predicate". It would be nicer to check...
Right now, in order to specify that an argument is a struct, one has to write something like `Decl foo(X) bound [fn:Struct(/field1, , /field2, ...)].` The proper way to write...
I just spent some time wondering why my type declarations don't work. I had `Decl foo(X, Y, Z) descr [ extensional() ] bound [/x, /y, /z].` and elsewhere (in a...
This feature can bring client certainty that clang-sys will never invoke the clang executable. This simplifies integration of tools that depend on clang-sys (specifically bindgen) since there is no need...
The simplecolumn file format is a pretty simple column-oriented file format to store facts. It should really have a version number (to permit evolution) and be documented properly.
The aggregation syntax - apart from being quite undocumented - needs much explanation. Erik Meijer suggested via LinkedIn: | I would love to be able to write something like ```...