Context Navigation

Changes between Version 57 and Version 58 of DataParallel/VectPragma

v57	v58
136	136	indicates that the class `C` should be automatically vectorised, even if it is imported. This is the default for all classes declared in the current module.
137	137
138		The class `C` must be in scope, but it may be imported. 'PData' and 'PRepr' instances are generally not used for type classes and their dictionary representations.
	138	The class `C` must be in scope, but it may be imported. 'PData' and 'PRepr' instances are generally not used for type classes and their dictionary representations. This pragma is only needed for classes that are declared in non-vectorised modules and if we want to declare class instances in vectorised code.
139	139
140	140	An example is the handling of `Eq`.
141	141
	142	''Parallelism:'' The class tycon of `C` is marked as parallel if the class methods include any type constructors marked as parallel.
	143
142	144	'''TODO:'''
143		* We want something like `{-# VECTORISE class C = C' #-}` (but what about the instances?)
	145	* We want something like `{-# VECTORISE class C = C' #-}` (but what about the instances?) Do we still have a need for that???
144	146
145	147	== The VECTORISE SCALAR pragma for class instances ==