Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-compiler-and-rts
compiler
Commits
cadbef88
Commit
cadbef88
authored
Dec 12, 2005
by
John van Groningen
Browse files
prevent crash when the type of an instance contains an undefined
uniqueness variable in an inequality
parent
47f5caca
Changes
1
Hide whitespace changes
Inline
Side-by-side
frontend/check.icl
View file @
cadbef88
...
...
@@ -2799,6 +2799,8 @@ check_module2 mod_ident mod_modification_time mod_imported_objects mod_imports m
No
->
(
cs_error
,
type_heaps
)
Yes
specified_symbol_type
|
not
cs_error
.
ea_ok
->
(
cs_error
,
type_heaps
)
#
(
err_code
,
type_heaps
)
=
symbolTypesCorrespond
specified_symbol_type
derived_symbol_type
type_heaps
|
err_code
==
CEC_Ok
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment