Changes between Version 4 and Version 5 of ForeignData


Ignore:
Timestamp:
Dec 1, 2005 4:24:18 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ForeignData

    v4 v5  
    4646
    4747A possible extension would be to allow implementations to derive instances of Storable and allow types with such derived instances be used in foreign space declarations too.
     48
     49another possibility is the definition of 'manifestly constant' data. which is defined as declarations of the form
     50{{{
     51name :: built-in-type
     52name = <constant>
     53
     54or sizeof a builtin
     55
     56or 'foo <op> bar' where foo and bar are manifestly constant and op is a basic operation.
     57}}}
     58
     59then allow such manifestly constant values for n and allow types whose sizeof is manifestly constant to be used in foreign space declarations.
     60
     61however, this is probably a lot of work for a problem that has better workarounds unless other uses for manifestly constant data are found.