:typing is not included in the :adl requirement
iwob opened this issue · 1 comments
iwob commented
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 f54e187 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