Context Navigation

Changes between Version 8 and Version 9 of DataParallel/VectPragma

v8	v9
59	59	}}}
60	60
	61	'''TODO:'''
	62	* Maybe don't have a rhs, but make this pragma mean that `T` should be vectorised as if the module containing `T` would have been vectorised. (Post-hoc vectorisation of a data type.)
61	63
62	64	== The VECTORISE SCALAR pragma for type constructors ==
63	65
	66	For a type constructor `T`, the pragma
64	67	{{{
65	68	{-# VECTORISE SCALAR T #-}
66	69	}}}
67		The type constructor `T` must be in scope, but may be imported.
	70	indicates that the type is scalar; i.e., it has no embedded arrays. Note that the type cannot be parameterised (as we could not rule out that any of the type parameters at a usage site is an array type.)
	71
	72	The type constructor `T` must be in scope, but it may be imported.