language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: function downcasting

Browse source 
FIXME: This downcast is unsound, function inputs, output should be checked at runtime
This commit is contained in:
Shunsuke Shibayama 2023-12-31 09:03:40 +09:00
parent 2ddff1512f
commit 767d51d48b
6 changed files with 75 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/erg_compiler/context/initialize/mod.rs
View file

@ -255,6 +255,7 @@ const GENERIC_TUPLE: &str = "GenericTuple";
const TUPLE: &str = "Tuple";
const TUPLE_ITERATOR: &str = "TupleIterator";
const RECORD: &str = "Record";
const RECORD_META_TYPE: &str = "RecordMetaType";
const GENERIC_NAMED_TUPLE: &str = "GenericNamedTuple";
const OR: &str = "Or";
const RANGE_ITERATOR: &str = "RangeIterator";
@ -316,6 +317,8 @@ const NAMED_FUNC: &str = "NamedFunc";
const FUNC: &str = "Func";
const QUANTIFIED: &str = "Quantified";
const QUANTIFIED_FUNC: &str = "QuantifiedFunc";
const PROC_META_TYPE: &str = "ProcMetaType";
const FUNC_META_TYPE: &str = "FuncMetaType";
const SLICE: &str = "Slice";
const FUNC_OBJECT: &str = "object";
const FUNC_INT: &str = "int";