Brent Pappas comments

Results 7 comments of


                                            Brent Pappas

Error: Header must provide a Content-Length property.

add Ubuntu version

Error: Header must provide a Content-Length property.

More information: this issue is only occurring when I use `#lang pie`. For context, [Pie](https://github.com/the-little-typer/pie) is the Racket language associated with the book [The Little Typer](https://thelittletyper.com/). This issue does not...

Add more tests & example use cases

How about parsing a video game map (I'm thinking a text-based game like Zork)? Example, parsing a "house": ``` [Front yard] | | [office]--------[living room]----[kitchen] | | [bedroom]----[bathroom] ``` I'm...

Create a dialect for checking Lua resource management

Some resources I found explaining more about this API: - https://www.lua.org/manual/2.1/subsection3_5_6.html - This is for an older version of Lua and the functions `lua_getlocked()` and `lua_pushlocked()` appear to have been...

Create a dialect for checking Lua resource management

More resources: - http://lua-users.org/wiki/EnvironmentTables - http://lua-users.org/wiki/SpeedingUpStrings - http://lua-users.org/wiki/ThreadsTutorial According to these sources, the locking API is still a part of Lua 5.0 (though it appears to be undocumented in the...

Create a dialect for checking Lua resource management

The consensus however appears to be that using Lua in a multithreaded context is a [bad idea](http://lua-users.org/lists/lua-l/2021-01/msg00298.html) with [better alternatives](http://lua-users.org/lists/lua-l/2021-01/msg00286.html).

[Bug]: Verifier fails to verify subscript expressions when index operand is an enum type

This issue is still occurring for me if I wrap the name of the enum variable in parentheses at its declaration site: ```c enum FOO { BAR }; int main(void)...