Updated documentation of compile/2