[m-rev.] [PATCH 04/11] mercury_cairo: Fix type of set_source_surface.

Peter Wang novalazy at gmail.com
Fri Sep 4 12:00:52 AEST 2015


extras/graphics/mercury_cairo/cairo.m:
	Fix the type of `set_source_surface'.  The surface from which
	the source pattern is created does not need to be the same type
	as the context surface.
---
 extras/graphics/mercury_cairo/cairo.m | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extras/graphics/mercury_cairo/cairo.m b/extras/graphics/mercury_cairo/cairo.m
index e8c2970..8863fd1 100644
--- a/extras/graphics/mercury_cairo/cairo.m
+++ b/extras/graphics/mercury_cairo/cairo.m
@@ -253,8 +253,8 @@
     % for Context.  (X, Y) is the user-space coordinate at which the surface
     % origin should appear.
     %
-:- pred set_source_surface(context(S)::in, S::in, float::in, float::in,
-    io::di, io::uo) is det <= surface(S).
+:- pred set_source_surface(context(S)::in, T::in, float::in, float::in,
+    io::di, io::uo) is det <= surface(T).
 
     % cairo.get_source(Context, Pattern, !IO):
     % Pattern is the current source pattern for Context.
-- 
2.1.2




More information about the reviews mailing list