| OLD | NEW |
| (Empty) | |
| 1 [comment]: WIP - code is being refactored... |
| 2 |
| 3 ##General code organization of this pacakge |
| 4 |
| 5 lib/src/ |
| 6 |- ... |
| 7 |- universe/ - how we represent the closed-world semantics of a program. |
| 8 |
| 9 [comment]: TODO fill in the rest |
| 10 |
| 11 |
| 12 ##Details |
| 13 |
| 14 ### Universe |
| 15 [comment]: TODO rename universe => world |
| 16 [comment]: TODO consider merging feature.dart and use.dart |
| 17 |
| 18 How we represent the closed-world semantics of a program. |
| 19 |
| 20 universe/ |
| 21 |- feature.dart - Features that may be used in the program. Using a feature |
| 22 | pulls in special code that the compiler needs to support it. |
| 23 |- use.dart - Describes a use of an element (a method, a class) and how it |
| 24 | is used by the program. |
| 25 |
| 26 |
| OLD | NEW |