language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 12:51:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add Never type

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-17 12:41:56 +09:00
parent f9fa9f0ce1
commit 4ca3285853
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/erg_compiler/context/initialize/mod.rs
View file

@ -661,6 +661,7 @@ impl Context {
let R = mono_q("R", instanceof(Type)); let R = mono_q("R", instanceof(Type));
let N = mono_q_tp("N", instanceof(Nat)); let N = mono_q_tp("N", instanceof(Nat));
let M = mono_q_tp("M", instanceof(Nat)); let M = mono_q_tp("M", instanceof(Nat));
let never = Self::builtin_mono_class("Never", 1);
/* Obj */ /* Obj */
let mut obj = Self::builtin_mono_class("Obj", 2); let mut obj = Self::builtin_mono_class("Obj", 2);
let Slf = mono_q("Self", subtypeof(Obj)); let Slf = mono_q("Self", subtypeof(Obj));
@ -1633,6 +1634,7 @@ impl Context {
quant.register_superclass(mono("Proc"), &proc); quant.register_superclass(mono("Proc"), &proc);
let mut qfunc = Self::builtin_mono_class("QuantifiedFunc", 2); let mut qfunc = Self::builtin_mono_class("QuantifiedFunc", 2);
qfunc.register_superclass(mono("Func"), &func); qfunc.register_superclass(mono("Func"), &func);
self.register_builtin_type(Never, never, vis, Const, None);
self.register_builtin_type(Obj, obj, vis, Const, Some("object")); self.register_builtin_type(Obj, obj, vis, Const, Some("object"));
// self.register_type(mono("Record"), vec![], record, Private, Const); // self.register_type(mono("Record"), vec![], record, Private, Const);
self.register_builtin_type(Int, int, vis, Const, Some("int")); self.register_builtin_type(Int, int, vis, Const, Some("int"));