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
f39ba46f
Commit
f39ba46f
authored
Mar 02, 2001
by
Martijn Vervoort
Browse files
no message
parent
7c92d4dd
Changes
1
Hide whitespace changes
Inline
Side-by-side
frontend/convertDynamics.icl
View file @
f39ba46f
...
...
@@ -696,7 +696,7 @@ where
_
-> abort "!!!!"
*/
#
sel_type
=
Selection
No
(
Var
coerce_result_var
)
[
RecordSelection
type_defined_symbol
sd_type_field_nr
]
//
# sel_type = Selection No (Var coerce_result_var) [RecordSelection type_defined_symbol sd_type_field_nr]
#
let_expr
=
Let
{
...
...
@@ -808,7 +808,7 @@ where
(
let_binds
,
ci
)
=
bind_indirection_var
ind_var
unify_result_var
twotuple
ci
a_ij_binds
=
add_x_i_bind
opened_dynamic
.
opened_dynamic_expr
dp_var
a_ij_binds
sel_type
=
Selection
No
(
Var
unify_result_var
)
[
RecordSelection
type_defined_symbol
sd_type_field_nr
]
//
sel_type = Selection No (Var unify_result_var) [RecordSelection type_defined_symbol sd_type_field_nr]
let_expr
=
Let
{
let_strict_binds
=
[],
// MW0 let_lazy_binds = [{ bind_src = App { app_symb = unify_symb, app_args = [opened_dynamic.opened_dynamic_type, type_code], app_info_ptr = nilPtr },
...
...
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