| 872 |
end |
end |
| 873 |
end |
end |
| 874 |
|
|
| 875 |
|
set_monomorph_type (a_type: TYPE_AS; is_monomorphic: BOOLEAN; s_as: KEYWORD_AS) is |
| 876 |
|
-- Set monomorphic status of `a_type' if it is an instance of CLASS_TYPE_AS. |
| 877 |
|
local |
| 878 |
|
l_class_type: CLASS_TYPE_AS |
| 879 |
|
do |
| 880 |
|
if is_monomorphic then |
| 881 |
|
l_class_type ?= a_type |
| 882 |
|
if l_class_type /= Void then |
| 883 |
|
l_class_type.set_is_monomorph (True, s_as) |
| 884 |
|
end |
| 885 |
|
end |
| 886 |
|
end |
| 887 |
|
|
| 888 |
new_named_tuple_type_as (n: ID_AS; p: FORMAL_ARGU_DEC_LIST_AS): NAMED_TUPLE_TYPE_AS is |
new_named_tuple_type_as (n: ID_AS; p: FORMAL_ARGU_DEC_LIST_AS): NAMED_TUPLE_TYPE_AS is |
| 889 |
-- New TUPLE_TYPE AST node |
-- New TUPLE_TYPE AST node |
| 890 |
do |
do |
Parent Directory
| 
Revision Log
| 
Patch