Commit 62464071 authored by Ben Gamari's avatar Ben Gamari 🐢

primops: Add some notes regarding the meaning of the "type" field

The overloading of "monadic" definitely deserved some explanation.

[skip ci]
parent 6e7c09d0
......@@ -38,6 +38,14 @@
-- processors of this file to easily get hold of simple info
-- (eg, out_of_line), whilst avoiding parsing complex expressions
-- needed for strictness info.
--
-- type refers to the general category of the primop. Valid settings include,
--
-- * Compare: A comparison operation of the shape a -> a -> Int#
-- * Monadic: A unary operation of shape a -> a
-- * Dyadic: A binary operation of shape a -> a -> a
-- * GenPrimOp: Any other sort of primop
--
-- The vector attribute is rather special. It takes a list of 3-tuples, each of
-- which is of the form <ELEM_TYPE,SCALAR_TYPE,LENGTH>. ELEM_TYPE is the type of
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment