The following will build without any indication that (finger 1) is incorrect given the 0-arg pclass constructor. Note that an error is generated during an htn action. But this is a simple static check that should be done at build.
(defpclass finger []
:fields {foo 3})
(defpclass hand []
:fields {finger1 (finger 1)
}
:methods [(defpmethod main []
)])
The following will
buildwithout any indication that(finger 1)is incorrect given the 0-arg pclass constructor. Note that an error is generated during anhtnaction. But this is a simple static check that should be done atbuild.