1:BUILD_BY[name] student0
1:BUILD_ENVIRONMENT[operating system 32 vs 64]

1:END_BUILD_ENVIRONMENT
1:DEPENDENCIES[list of dependencies with where to get them]

1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

Attemping to reproduce example01.cpp returned errors (only lat lines produced here.)
ptrtools.hpp: In function ‘const T* addr(const T&)’:
ptrtools.hpp:59:65: error: ‘addressof’ is not a member of ‘std’
ptrtools.hpp: In function ‘T* addr(T&)’:
ptrtools.hpp:60:65: error: ‘addressof’ is not a member of ‘std’
ptrtools.hpp: At global scope:
ptrtools.hpp:69:62: error: template declaration of ‘const std::type_info& vtbl_typeid’
ptrtools.hpp:69:57: error: ‘intptr_t’ is not a member of ‘std’
ptrtools.hpp:69:57: note: suggested alternative:
/usr/include/unistd.h:268:20: note:   ‘intptr_t’
ptrtools.hpp:80:20: error: expected declaration before end of line

Other examples returned similar errors.
1:END_NOTES



2:BUILD_BY[name] student8
2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 12.04 64-bit

2:END_BUILD_ENVIRONMENT
2:DEPENDENCIES[list of dependencies with where to get them]
sudo apt-get install ghc
Get rdtsc haskell package at http://hackage.haskell.org/package/rdtsc-1.3.0.0

2:END_DEPENDENCIES
2:NOTES[notes on attempted build]

To install Rdtsc:
runghc Setup.hs configure
runghc Setup.hs build
sudo runghc Setup.hs install

To build Type Switch (a c++ library proposed by this paper):
make

After that, I obtained some examples compiled that used the Type Switch library.
They could be run successfully.
$ ./example03.exe 
17
25
42

2:END_NOTES