Make sure library is completed after calling `complete_library`. - Githubissues

dylan-hackers / mindy

Mindy - minimal compiler-interpreter for Dylan

Other

21 stars 9 forks source link

Make sure library is completed after calling `complete_library`. #36

Closed dram closed 8 years ago

dram commented 8 years ago

Regarding to completeness of a library, there are three levels:

empty - initially created
incomplete - definition loaded
complete - all symbols are resolved (all dependenices are also complete)

Following are some library-related functions and consequences after calling them:

make_library - empty
define_library - incomplete
complete_library - incomplete or complete
load_library - incomplete or complete
find_library - empty, incomplete or complete

This commit will make sure that libraries are always completed after complete_library is called, which is more reasonable according to the name.

Fix #35.