Overview
| Comment: | natools: add Meaningless_Type to help instantiation of interpreters without meaningful context or state |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
dd0bb46acee86c0b89893fe477b8b701 |
| User & Date: | nat on 2014-05-22 20:14:18 |
| Other Links: | manifest | tags |
Context
|
2014-05-23
| ||
| 18:44 | generate_static_hash_map: new tool that provides a CLI to Natools.Static_Hash_Maps check-in: d40564ef6b user: nat tags: trunk | |
|
2014-05-22
| ||
| 20:14 | natools: add Meaningless_Type to help instantiation of interpreters without meaningful context or state check-in: dd0bb46ace user: nat tags: trunk | |
|
2014-05-21
| ||
| 20:07 | static_hash_maps-s_expressions: add generated child packages for interpreter check-in: 83a3e25ae4 user: nat tags: trunk | |
Changes
Modified src/natools.ads from [c218964070] to [ad429e03a5].
| ︙ | ︙ | |||
18 19 20 21 22 23 24 25 26 | -- Natools is a collection of miscellaneous small utilities gathered in one -- -- shared library. -- ------------------------------------------------------------------------------ package Natools is pragma Pure (Natools); end Natools; | > > | 18 19 20 21 22 23 24 25 26 27 28 | -- Natools is a collection of miscellaneous small utilities gathered in one -- -- shared library. -- ------------------------------------------------------------------------------ package Natools is pragma Pure (Natools); type Meaningless_Type is (Meaningless_Value); end Natools; |