diff options
| author | Rose Hogenson <rosehogenson@posteo.net> | 2025-05-18 08:17:20 -0700 |
|---|---|---|
| committer | Rose Hogenson <rosehogenson@posteo.net> | 2025-06-13 19:14:58 -0700 |
| commit | 8b3a9b8f0d80e7dd789f363deb6bb36189a31f01 (patch) | |
| tree | 414ac8c234ded42f1bf4d8da7a96a4c7078db95f /program.cm | |
| parent | cc3f514265fc7c4166b8e30fcdbb26e69286f339 (diff) | |
| download | sml-8b3a9b8f0d80e7dd789f363deb6bb36189a31f01.tar.zst | |
Add a typechecker
Diffstat (limited to 'program.cm')
| -rw-r--r-- | program.cm | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -2,7 +2,7 @@ Group is Buffer.sml CPS.sml -Codegen.sml +CodeGen.sml Compiler.sml Elab.sml GenSym.sml @@ -12,6 +12,8 @@ Opts.sml Parser.sml Result.sml ShowSyntax.sml +Sort.sml Syntax.sml +Types.sml $/basis.cm |