1/1: Building gnu (gnu.idr)gnu.idr:47:27--49:1:While processing right hand side of TestSurprise1 at gnu.idr:47:1--49:1:Multiple solutions found in search. Possible correct results: gnu1 gnu2gnu.idr:50:21--52:1:While processing right hand side of TestSurprise2 at gnu.idr:50:1--52:1:Multiple solutions found in search. Possible correct results: f () g ()gnu.idr:53:19--54:1:While processing right hand side of TestSurprise3 at gnu.idr:53:1--54:1:Can't find an implementation for Gnu
1/1: Building gnu (gnu.idr)
gnu.idr:47:27--49:1:While processing right hand side of TestSurprise1 at gnu.idr:47:1--49:1:
Multiple solutions found in search. Possible correct results:
gnu1
gnu2
gnu.idr:50:21--52:1:While processing right hand side of TestSurprise2 at gnu.idr:50:1--52:1:
Multiple solutions found in search. Possible correct results:
f ()
g ()
gnu.idr:53:19--54:1:While processing right hand side of TestSurprise3 at gnu.idr:53:1--54:1:
Can't find an implementation for Gnu