User Defined Resources

[jozefg]

It would be interesting if JonPRL allowed users to define their own resources. Especially since they can be used with the new resource tactic.

Possible syntax:

 Resource foo.
 Resource foo += { .... }.

The idea being that a resource must be declared before its first usage and error in any other case.

[jozefg]

@jonsterling As it turns out, it's trivial to add support for this if we don't require declarations, but I'm not so sure this is morally acceptable. Thoughts?

It's a bad idea, you can easily typo a resource and get no warnings or errors.