[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.7.14.2 Reverse

The function that reverses a list has the following representation in virtual code.

T29

[[reverse]] = ((nil,nil),(nil,(nil,nil)))

This function takes a list as an argument, and returns a the list consisting of the same items in the reverse order. The semantics is given by the following properties.

P37

[[reverse]] nil = nil

P38

[[reverse]] (x,y) = [[cat]] ([[reverse]] y,(x,nil))


This document was generated on November 8, 2012 using texi2html 1.82.