Project

General

Profile

« Previous | Next » 

Revision 66359a5e

ID66359a5eba92be4c94342e67c7a65529db3a9864
Parent b7c3790e
Child 3c3414c5, 51a2c05a

Added by Pierre-Loïc Garoche over 1 year ago

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences