A categorical programming language
修订版 | cddb6b8f61aef0c7cfe9efafb2566692a73ff736 (tree) |
---|---|
时间 | 2021-08-11 02:02:43 |
作者 | Corbin <cds@corb...> |
Commiter | Corbin |
frame: Tiny bit of code cleanup.
@@ -0,0 +1 @@ | ||
1 | +profile=compact |
@@ -26,8 +26,8 @@ and do_atom s = | ||
26 | 26 | match CodeCache.find_opt s !cache with |
27 | 27 | | Some expr -> expr |
28 | 28 | | None -> |
29 | - let expr = | |
30 | - replace_code (load_sexp (Filename.concat basepath s ^ ".cammy")) in | |
29 | + let fullpath = Filename.concat basepath s ^ ".cammy" in | |
30 | + let expr = replace_code (load_sexp fullpath) in | |
31 | 31 | cache := CodeCache.add s expr !cache ; |
32 | 32 | expr |
33 | 33 |