diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:11:03 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:11:03 +0100 |
| commit | 78a14781f62160e57f2f26a1552319ed37d70b4f (patch) | |
| tree | 057fd64c635d0ecd7e89bc2ab3440d8201772320 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | 7c1478a872495fab3333638c3a1960edc2b0ec03 (diff) | |
Add Bool, Int and String as builtins
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedCompiler.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java index ee6b3501..479a9a4f 100644 --- a/src/main/java/org/shedlang/compiler/ShedCompiler.java +++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java @@ -40,7 +40,10 @@ public class ShedCompiler { Map.entry(ShedBuiltins.PRINT_NAME, ShedBuiltins.PRINT_TYPE) )) .enterNamespaceWithDefinedVariables(P.map( + Map.entry("Bool", Types.metaType(Types.BOOL)), + Map.entry("Int", Types.metaType(Types.INT)), Map.entry("Io", Types.effectType(Effects.IO)), + Map.entry("String", Types.metaType(Types.STRING)), Map.entry("Unit", Types.metaType(Types.UNIT)), Map.entry(ShedBuiltins.PRINT_NAME, ShedBuiltins.PRINT_TYPE) |
