equal
deleted
inserted
replaced
1 (* Title: Pure/Tools/codegen_consts.ML |
1 (* Title: Pure/Tools/codegen_consts.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Florian Haftmann, TU Muenchen |
3 Author: Florian Haftmann, TU Muenchen |
4 |
4 |
5 Distinction of ad-hoc overloaded constants. Convenient data structures |
5 Identifying constants by name plus normalized type instantantiation schemes. |
6 for constants. |
6 Type normalization is compatible with overloading discipline and user-defined |
|
7 ad-hoc overloading. Convenient data structures for constants. |
7 *) |
8 *) |
8 |
9 |
9 signature CODEGEN_CONSTS = |
10 signature CODEGEN_CONSTS = |
10 sig |
11 sig |
11 type const = string * typ list (*type instantiations*) |
12 type const = string * typ list (*type instantiations*) |