mangle
mangle copied to clipboard
google
Using some online tools like https://www.bottlecaps.de/rr/ui and https://www.bottlecaps.de/convert/ we can have a nice navigable railroad diagram. Copy and paste the `EBNF` shown bellow on https://www.bottlecaps.de/rr/ui on the tab `Edit Grammar`...
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...
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:...
Bumps [golang.org/x/net](https://github.com/golang/net) from 0.18.0 to 0.23.0. Commits c48da13 http2: fix TestServerContinuationFlood flakes 762b58d http2: fix tipos in comment ba87210 http2: close connections when receiving too many headers ebc8168 all: fix...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps google.golang.org/protobuf from 1.31.0 to 1.33.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) You can trigger a rebase of this PR by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- Dependabot commands...
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...
Is there a reason why stratification is done during evaluation rather than analysis? It seems redundant to stratify every time given that analysis.ProgramInfo is most commonly produced by Analyze* calls.
I'm stuck with a very simple problem but can't find a solution. All I want is to return the number of unique facts/records found. Let's assume I have stored the...
