search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Import should cache modules #75

Closed Toxaris closed 10 years ago

Toxaris commented 10 years ago

Currently, the import foo statement would process the file foo.pts even if that file was processed in the same pts session before. Instead, the old Module should be cached and reused.