:typing is not included in the :adl requirement - Githubissues

AI-Planning / pddl

Unquestionable PDDL 3.1 parser

https://ai-planning.github.io/pddl/

MIT License

85 stars 27 forks source link

:typing is not included in the :adl requirement #87

Closed iwob closed 1 year ago

iwob commented 1 year ago

Subject of the issue

:typing is not included in the :adl requirement when it should according to the BNF definition.

Your environment

OS: Ubuntu 22.04
Python version: 3.10.12
Package Version: downloaded from github, commit f54e1878109fed88ca56f3a18f3ecc7dd9fbe9eb of the main branch

Steps to reproduce

Run the parser for the attached tictactoe.txt file.

from pddl import parse_domain, parse_problem
domain = parse_domain('tictactoe.txt')

Expected behaviour

File parses correctly.

Actual behaviour

pddl.exceptions.PDDLValidationError: typing requirement is not specified, but the following types were used: frozenset({'field'})

francescofuggitti commented 1 year ago

Thanks for spotting this, @iwob! Although with some delay, I've just solved the issue. Everything is in PR #90, which I think will be merged very soon.