Ini example only works if the INI file has a newline after final entry.

[cianoc]

This should be made explicit in the chapter, or the parser should be changed to solve this problem.

[IronThread]

I tried this grammar to solve the problem:

file = {
    SOI ~
    ((section | property)? ~ (NEWLINE | EOI))*
}

But the program crash when I try to run it.

[reivilibre]

I tried this grammar to solve the problem:

file = {
    SOI ~
    ((section | property)? ~ (NEWLINE | EOI))*
}

But the program crash when I try to run it.

This is probably because EOI is a zero-length match, so you get infinite matches here.

A workaround I've been using for this case is e.g.

file = {
    SOI ~
    (!EOI ~ (section | property)? ~ (NEWLINE | EOI))*
}