At the moment the generated contracts assume that the predicates library can be imported as ./lib/predicates.ncl. That's... suboptimal. The problem is that we don't have an accepted general way of packaging Nickel libraries so that we could refer to them from the generated code. We should try to figure out a way of solving this packaging dilemma.
At the very least, we need to document that the generated contracts assume this filesystem layout.
At the moment the generated contracts assume that the predicates library can be imported as
./lib/predicates.ncl
. That's... suboptimal. The problem is that we don't have an accepted general way of packaging Nickel libraries so that we could refer to them from the generated code. We should try to figure out a way of solving this packaging dilemma.At the very least, we need to document that the generated contracts assume this filesystem layout.