Compare commits

...

2 Commits

Author SHA1 Message Date
wylited a5efba75ba nac3core: toplevel | add enumerate as a keyword for functions 2022-04-11 14:41:26 +08:00
wylited eeeccfd656 add extra builtin types for tuples and lists 2022-04-10 11:44:29 +08:00
2 changed files with 13 additions and 0 deletions

View File

@ -92,6 +92,18 @@ pub fn get_builtins(primitives: &mut (PrimitiveStore, Unifier)) -> BuiltinInfo {
Some("N".into()), Some("N".into()),
None, None,
); );
let any_ty = primitives.1.get_fresh_var_with_range(
&[int32, int64, float, boolean, uint32, uint64, string, range, boolean],
Some("A".into()),
None,
);
let tuple_ty = primitives.1.add_ty(TypeEnum::TTuple {ty: vec![num_ty.0, any_ty.0]});
let any_tuple_ty = primitives.1.get_fresh_var_with_range(
&[int32, int64, float, boolean, uint32, uint64, string, tuple_ty, range, boolean],
Some("A".into()),
None,
);
let list_ty = primitives.1.add_ty(TypeEnum::TList {ty: any_ty.0});
let var_map: HashMap<_, _> = vec![(num_ty.1, num_ty.0)].into_iter().collect(); let var_map: HashMap<_, _> = vec![(num_ty.1, num_ty.0)].into_iter().collect();
let exception_fields = vec![ let exception_fields = vec![
("__name__".into(), int32, true), ("__name__".into(), int32, true),

View File

@ -70,6 +70,7 @@ impl TopLevelComposer {
"none".into(), "none".into(),
"None".into(), "None".into(),
"range".into(), "range".into(),
"enumerate".into(),
"str".into(), "str".into(),
"self".into(), "self".into(),
"Kernel".into(), "Kernel".into(),