Names map and input are exchanged mistakenly. By sense of Preconditions paragraph they have to be exchanged I suppose, because there is no problem when map and result coincide (in current context).

Segmented reduce uses the same template type OffsetIteratorT for begin and end offsets

static CUB_RUNTIME_FUNCTION cudaError_t cub::DeviceSegmentedReduce::Sum
    (   void *              d_temp_storage,
        size_t &            temp_storage_bytes,
        InputIteratorT      d_in,
        OutputIteratorT     d_out,
        int                 num_segments,
        OffsetIterato

Need to make test cases for the Compiler and VM to verify their correct functioning, as well as make adding features/modifications easy to test for any breakage in existing system.

The tests must consist of the following components:

• Nil
• Integers
• Floating point numbers
• Strings
• Modules (tests/builtin/mod.fer)
• Language Constructs
  • C