minigent/examples/2_abstract/02-observer/expected.err - 3p/nicta/cogent - Git at Google

 Typecheck failed in function noDrop
  •  Drop Buf
 Typecheck failed in function noEscape
  •  Escape Buf!
 Typecheck failed in function noShare
  •  Buf :=: Buf!
	Typecheck failed in function noDrop
	• Drop Buf
	Typecheck failed in function noEscape
	• Escape Buf!
	Typecheck failed in function noShare
	• Buf :=: Buf!