miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

binding epochs compile, but segfault. too late tonight to keep going

Browse Source
This commit is contained in:
Nathan Braswell
2019-01-06 01:06:15 -05:00
parent 06df819e72
commit c2495a04f8
4 changed files with 555 additions and 519 deletions
Download Patch File Download Diff File Expand all files Collapse all files

859
k.krak
View File

File diff suppressed because it is too large Load Diff

24
stdlib/ast.krak
View File

@@ -47,11 +47,11 @@ fun to_string(a: ref ast): str {
match(a) { match(a) {
ast::_translation_unit(b) return str("_translation_unit(") + b + ")" ast::_translation_unit(b) return str("_translation_unit(") + b + ")"
ast::_import(b) return str("_import(") + to_string(b.first->data) + ")[" + str(",").join(b.second.data) + "]" ast::_import(b) return str("_import(") + to_string(b.first->data) + ")[" + str(",").join(b.second.data) + "]"
ast::_identifier(b) return str("_identifier(") + b.first + ": " + deref_to_string(b.second->bound_to) + ")" ast::_identifier(b) return str("_identifier(") + b.first + ": " + "pre_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::post_ref())) + ")"
ast::_binding(b) return str("_binding(") + b.first + "[" + str(",").join(b.second.map(fun(x:*binding<type>): str { return deref_to_string(x->bound_to); })) + "]" + "->" + deref_to_string(b.third->bound_to, fun(t: *tree<ast>): str return to_string(t->data);) + ")" ast::_binding(b) return str("_binding(") + b.first + "[" + str(",").join(b.second.map(fun(x:*binding<type>): str { return "pre_ref:" + deref_to_string(x->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + deref_to_string(x->get_bound_to(binding_epoch::post_ref())); })) + "]" + "-> pre_ref:" + deref_to_string(b.third->get_bound_to(binding_epoch::pre_ref()), fun(t: *tree<ast>): str return to_string(t->data);) + " /post_ref:" + deref_to_string(b.third->get_bound_to(binding_epoch::post_ref()), fun(t: *tree<ast>): str return to_string(t->data);)+ ")"
ast::_type_def(b) return str("_type_def(") + b + ")" ast::_type_def(b) return str("_type_def(") + b + ")"
ast::_adt_def(b) return str("_adt_def(") + b + ")" ast::_adt_def(b) return str("_adt_def(") + b + ")"
ast::_function(b) return str("_function(") + b.first + ": " + deref_to_string(b.second->bound_to) + ", ext?:" + to_string(b.third) + ")" ast::_function(b) return str("_function(") + b.first + ": " + "pre_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::post_ref())) + ", ext?:" + to_string(b.third) + ")"
ast::_template(b) return str("_template(") + b.first + "[" + str(",").join(b.second.keys) + "])" ast::_template(b) return str("_template(") + b.first + "[" + str(",").join(b.second.keys) + "])"
ast::_declaration() return str("_declaration") ast::_declaration() return str("_declaration")
ast::_block() return str("_block") ast::_block() return str("_block")
@@ -65,9 +65,9 @@ fun to_string(a: ref ast): str {
ast::_continue() return str("_continue") ast::_continue() return str("_continue")
ast::_defer() return str("_defer") ast::_defer() return str("_defer")
ast::_call(b) return "_call(add_scope: " + to_string(b) + ")" ast::_call(b) return "_call(add_scope: " + to_string(b) + ")"
ast::_compiler_intrinsic(b) return str("_compiler_intrinsic(") + b.first + ": " + deref_to_string(b.second->bound_to) + ")" ast::_compiler_intrinsic(b) return str("_compiler_intrinsic(") + b.first + ": " + "pre_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::post_ref())) + ")"
ast::_cast(b) return str("_cast") ast::_cast(b) return str("_cast")
ast::_value(b) return str("_value(") + b.first + ": " + deref_to_string(b.second->bound_to) + ")" ast::_value(b) return str("_value(") + b.first + ": " + "pre_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + deref_to_string(b.second->get_bound_to(binding_epoch::post_ref())) + ")"
} }
} }
fun _translation_unit(p: str): *tree<ast> { fun _translation_unit(p: str): *tree<ast> {
@@ -253,7 +253,7 @@ fun make_ast_binding(s: str, v: vec<*binding<type>>): *tree<ast> {
fun clone_ast_binding(binding: *tree<ast>): *tree<ast> { fun clone_ast_binding(binding: *tree<ast>): *tree<ast> {
match(binding->data) { match(binding->data) {
ast::_binding(b) { ast::_binding(b) {
return _binding(b.first, b.second, binding(b.third->bound_to)) return _binding(b.first, b.second, b.third)
} }
} }
error("trying to get binding on not a binding") error("trying to get binding on not a binding")
@@ -266,27 +266,27 @@ fun get_ast_binding_inst_types(binding: *tree<ast>): ref vec<*binding<type>> {
} }
error("trying to get binding on not a binding") error("trying to get binding on not a binding")
} }
fun get_ast_binding(binding: *tree<ast>): *tree<ast> { fun get_ast_binding(binding: *tree<ast>, epoch: binding_epoch): *tree<ast> {
match(binding->data) { match(binding->data) {
ast::_binding(b) { ast::_binding(b) {
return b.third->bound_to return b.third->get_bound_to(epoch)
} }
} }
error("trying to get binding on not a binding") error("trying to get binding on not a binding")
} }
fun set_ast_binding(binding: *tree<ast>, to: *tree<ast>) { fun set_ast_binding(binding: *tree<ast>, to: *tree<ast>, epoch: binding_epoch) {
match(binding->data) { match(binding->data) {
ast::_binding(b) { ast::_binding(b) {
b.third->set(to) b.third->set(to, epoch)
return return
} }
} }
error("trying to set binding on not a binding") error("trying to set binding on not a binding")
} }
fun set_single_ast_binding(binding: *tree<ast>, to: *tree<ast>) { fun set_single_ast_binding(binding: *tree<ast>, to: *tree<ast>, epoch: binding_epoch) {
match(binding->data) { match(binding->data) {
ast::_binding(b) { ast::_binding(b) {
b.third->set_single(to) b.third->set_single(to, epoch)
return return
} }
} }

87
stdlib/binding.krak
View File

@@ -5,18 +5,24 @@ import str:*
import ast:* import ast:*
import type2:* import type2:*
adt binding_epoch {
pre_ref,
post_ref,
all
}
var bindings: *vec<*void> var bindings: *vec<*void>
fun binding<T>(): *binding<T> { fun binding<T>(): *binding<T> {
return binding(null<T>()) return binding(null<T>(), binding_epoch::all())
} }
fun binding_p<T>(it: T): *binding<T> { fun binding_p<T>(it: T, epoch: binding_epoch): *binding<T> {
var p = new<T>() var p = new<T>()
p->copy_construct(&it) p->copy_construct(&it)
return binding(p) return binding(p, epoch)
} }
fun binding<T>(it: *T): *binding<T> { fun binding<T>(it: *T, epoch: binding_epoch): *binding<T> {
var to_ret = new<binding<T>>()->construct(it) var to_ret = new<binding<T>>()->construct(it, epoch)
if (bindings == null<vec<*void>>()) if (bindings == null<vec<*void>>())
bindings = new<vec<*void>>()->construct() bindings = new<vec<*void>>()->construct()
bindings->add( (to_ret) cast *void ) bindings->add( (to_ret) cast *void )
@@ -24,46 +30,75 @@ fun binding<T>(it: *T): *binding<T> {
} }
obj binding<T> (Object) { obj binding<T> (Object) {
var bound_to: *T var bound_to_pre_ref: *T
var bound_to_post_ref: *T
fun construct(): *binding<T> { fun construct(): *binding<T> {
bound_to = null<T>() bound_to_pre_ref = null<T>()
bound_to_post_ref = null<T>()
return this return this
} }
fun construct(it: *T): *binding<T> { fun construct(it: *T, epoch: binding_epoch): *binding<T> {
bound_to = it set_single(it, epoch)
return this return this
} }
fun copy_construct(old: *binding<T>): void { fun copy_construct(old: *binding<T>): void {
bound_to = old->bound_to bound_to_pre_ref = old->bound_to_pre_ref
bound_to_post_ref = old->bound_to_post_ref
} }
fun destruct() { fun destruct() {
bound_to = null<T>() bound_to_pre_ref = null<T>()
bound_to_post_ref = null<T>()
} }
fun bound(): bool { fun bound(epoch: binding_epoch): bool {
return bound_to != null<T>() return bound_to_pre_ref != null<T>() || bound_to_post_ref != null<T>()
} }
fun set(to: T) { fun set(to: T, epoch: binding_epoch) {
var p = new<T>() var p = new<T>()
p->copy_construct(&to) p->copy_construct(&to)
set(p) set(p, epoch)
} }
fun set(to: *T) { fun set(to: *T, epoch: binding_epoch) {
var pre_ref_from = bound_to_pre_ref
var post_ref_from = bound_to_post_ref
if epoch == binding_epoch::pre_ref() || epoch == binding_epoch::all() {
bound_to_pre_ref = to
// don't set null, that will set all unbound ones // don't set null, that will set all unbound ones
if (bound_to == null<T>()) { if pre_ref_from != null<T>() {
bound_to = to
return
}
var from = bound_to
for (var i = 0; i < bindings->size; i++;) for (var i = 0; i < bindings->size; i++;)
if ( ((bindings->get(i)) cast *binding<T>)->bound_to == from) if ( ((bindings->get(i)) cast *binding<T>)->bound_to_pre_ref == pre_ref_from)
((bindings->get(i)) cast *binding<T>)->bound_to = to ((bindings->get(i)) cast *binding<T>)->bound_to_pre_ref = to
}
}
if epoch == binding_epoch::post_ref() || epoch == binding_epoch::all() {
bound_to_post_ref = to
// don't set null, that will set all unbound ones
if post_ref_from != null<T>() {
for (var i = 0; i < bindings->size; i++;)
if ( ((bindings->get(i)) cast *binding<T>)->bound_to_post_ref == post_ref_from)
((bindings->get(i)) cast *binding<T>)->bound_to_post_ref = to
}
}
}
fun set_single(to: *T, epoch: binding_epoch) {
match (epoch) {
binding_epoch::pre_ref() { bound_to_pre_ref = to; }
binding_epoch::post_ref() { bound_to_post_ref = to; }
binding_epoch::all() { bound_to_pre_ref = to; bound_to_post_ref = to; }
}
}
fun bound(): bool {
return bound_to_pre_ref != null<T>() || bound_to_post_ref != null<T>()
}
fun get_bound_to(epoch: binding_epoch): *T {
match (epoch) {
binding_epoch::pre_ref() { return bound_to_pre_ref; }
binding_epoch::post_ref() if bound_to_post_ref != null<T>() { return bound_to_post_ref; } else { return bound_to_pre_ref; }
binding_epoch::all() { error("trying to get_bound_to for all, which doesn't make any sense"); }
} }
fun set_single(to: *T) {
bound_to = to
} }
fun to_string(): str { fun to_string(): str {
/*return "binding(" + to_string(bound_to) + ")"*/ /*return "binding(" + to_string(bound_to) + ")"*/
return "binding(" + deref_to_string(bound_to) + ")" return "binding(pre_ref:" + deref_to_string(bound_to_pre_ref) + "/post_ref:" + deref_to_string(bound_to_post_ref) + ")"
} }
} }

102
stdlib/type2.krak
View File

@@ -40,52 +40,52 @@ adt type {
_double _double
} }
fun has_unknown(t: *binding<type>): bool { fun has_unknown(t: *binding<type>, epoch: binding_epoch): bool {
match (*t->bound_to) { match (*t->get_bound_to(epoch)) {
type::_unknown() return true type::_unknown() return true
type::_ptr(p) return has_unknown(p) type::_ptr(p) return has_unknown(p, epoch)
type::_obj(o) return o->data._binding.second.any_true(fun(inner_t: *binding<type>): bool return has_unknown(inner_t);) type::_obj(o) return o->data._binding.second.any_true(fun(inner_t: *binding<type>): bool return has_unknown(inner_t, epoch);)
type::_fun(f) return has_unknown(f.first.second.second) || f.first.first.any_true(fun(p: pair<ref_type, *binding<type>>): bool return has_unknown(p.second);) type::_fun(f) return has_unknown(f.first.second.second, epoch) || f.first.first.any_true(fun(p: pair<ref_type, *binding<type>>): bool return has_unknown(p.second, epoch);)
} }
return false return false
} }
fun unify(t1: *binding<type>, t2: *binding<type>) { fun unify(t1: *binding<type>, t2: *binding<type>, epoch: binding_epoch) {
println("attempting to unify " + to_string(t1->bound_to) + " and " + to_string(t2->bound_to)) println("attempting to unify " + to_string(t1->get_bound_to(epoch)) + " and " + to_string(t2->get_bound_to(epoch)))
if (is_unknown(t1->bound_to)) { if (is_unknown(t1->get_bound_to(epoch))) {
t1->set(t2->bound_to) t1->set(t2->get_bound_to(epoch), epoch)
} else if (is_unknown(t2->bound_to)) { } else if (is_unknown(t2->get_bound_to(epoch))) {
t2->set(t1->bound_to) t2->set(t1->get_bound_to(epoch), epoch)
} else { } else {
if (shallow_equality(t1->bound_to, t2->bound_to)) { if (shallow_equality(t1->get_bound_to(epoch), t2->get_bound_to(epoch), epoch)) {
if (is_fun(t1->bound_to)) { if (is_fun(t1->get_bound_to(epoch))) {
unify(t1->bound_to->_fun.first.second.second, t2->bound_to->_fun.first.second.second) unify(t1->get_bound_to(epoch)->_fun.first.second.second, t2->get_bound_to(epoch)->_fun.first.second.second, epoch)
// unify ref_types // unify ref_types
if (t1->bound_to->_fun.first.second.first == ref_type::_unknown()) if (t1->get_bound_to(epoch)->_fun.first.second.first == ref_type::_unknown())
t1->bound_to->_fun.first.second.first = t2->bound_to->_fun.first.second.first t1->get_bound_to(epoch)->_fun.first.second.first = t2->get_bound_to(epoch)->_fun.first.second.first
if (t2->bound_to->_fun.first.second.first == ref_type::_unknown()) if (t2->get_bound_to(epoch)->_fun.first.second.first == ref_type::_unknown())
t2->bound_to->_fun.first.second.first = t1->bound_to->_fun.first.second.first t2->get_bound_to(epoch)->_fun.first.second.first = t1->get_bound_to(epoch)->_fun.first.second.first
// might be veradic... // might be veradic...
for (var i = 0; i < t1->bound_to->_fun.first.first.size && i < t2->bound_to->_fun.first.first.size; i++;) { for (var i = 0; i < t1->get_bound_to(epoch)->_fun.first.first.size && i < t2->get_bound_to(epoch)->_fun.first.first.size; i++;) {
unify(t1->bound_to->_fun.first.first[i].second, t2->bound_to->_fun.first.first[i].second) unify(t1->get_bound_to(epoch)->_fun.first.first[i].second, t2->get_bound_to(epoch)->_fun.first.first[i].second, epoch)
if (t1->bound_to->_fun.first.first[i].first == ref_type::_unknown()) if (t1->get_bound_to(epoch)->_fun.first.first[i].first == ref_type::_unknown())
t1->bound_to->_fun.first.first[i].first = t2->bound_to->_fun.first.first[i].first t1->get_bound_to(epoch)->_fun.first.first[i].first = t2->get_bound_to(epoch)->_fun.first.first[i].first
if (t2->bound_to->_fun.first.first[i].first == ref_type::_unknown()) if (t2->get_bound_to(epoch)->_fun.first.first[i].first == ref_type::_unknown())
t2->bound_to->_fun.first.first[i].first = t1->bound_to->_fun.first.first[i].first t2->get_bound_to(epoch)->_fun.first.first[i].first = t1->get_bound_to(epoch)->_fun.first.first[i].first
} }
} else if (is_ptr(t1->bound_to)) { } else if (is_ptr(t1->get_bound_to(epoch))) {
unify(t1->bound_to->_ptr, t2->bound_to->_ptr) unify(t1->get_bound_to(epoch)->_ptr, t2->get_bound_to(epoch)->_ptr, epoch)
} else if (is_obj(t1->bound_to)) { } else if (is_obj(t1->get_bound_to(epoch))) {
for (var i = 0; i < t1->bound_to->_obj->data._binding.second.size; i++;) { for (var i = 0; i < t1->get_bound_to(epoch)->_obj->data._binding.second.size; i++;) {
unify(t1->bound_to->_obj->data._binding.second[i], t2->bound_to->_obj->data._binding.second[i]) unify(t1->get_bound_to(epoch)->_obj->data._binding.second[i], t2->get_bound_to(epoch)->_obj->data._binding.second[i], epoch)
} }
} }
} else { } else {
error("Doesn't typecheck! Attempted to unify " + to_string(t1->bound_to) + " and " + to_string(t2->bound_to)) error("Doesn't typecheck! Attempted to unify " + to_string(t1->get_bound_to(epoch)) + " and " + to_string(t2->get_bound_to(epoch)))
} }
} }
} }
fun shallow_equality(a: *type, b: *type):bool { fun shallow_equality(a: *type, b: *type, epoch: binding_epoch):bool {
if (is_ptr(a) != is_ptr(b)) if (is_ptr(a) != is_ptr(b))
return false return false
if (is_ptr(a) && is_ptr(b)) if (is_ptr(a) && is_ptr(b))
@@ -95,7 +95,7 @@ fun shallow_equality(a: *type, b: *type):bool {
return is_fun(b) && a->_fun.third == b->_fun.third return is_fun(b) && a->_fun.third == b->_fun.third
} }
type::_obj(x) { type::_obj(x) {
return is_obj(b) && (get_ast_binding(x) == get_ast_binding(b->_obj) || ((!ast_bound(x) || !ast_bound(b->_obj)) return is_obj(b) && (get_ast_binding(x, epoch) == get_ast_binding(b->_obj, epoch) || ((!ast_bound(x) || !ast_bound(b->_obj))
&& x->data._binding.second.size == b->_obj->data._binding.second.size && x->data._binding.second.size == b->_obj->data._binding.second.size
&& x->data._binding.first == b->_obj->data._binding.first)) && x->data._binding.first == b->_obj->data._binding.first))
} }
@@ -103,32 +103,32 @@ fun shallow_equality(a: *type, b: *type):bool {
return *a == *b return *a == *b
} }
fun inst_temp_type(t: *binding<type>, replacements: ref map<*binding<type>, *binding<type>>): *binding<type> { fun inst_temp_type(t: *binding<type>, replacements: ref map<*binding<type>, *binding<type>>, epoch: binding_epoch): *binding<type> {
match (*t->bound_to) { match (*t->get_bound_to(epoch)) {
type::_unknown() error("Unknown in temp type") type::_unknown() error("Unknown in temp type")
type::_obj(o) { type::_obj(o) {
var binding_types = o->data._binding.second.map(fun(b: *binding<type>): *binding<type> return inst_temp_type(b, replacements);) var binding_types = o->data._binding.second.map(fun(b: *binding<type>): *binding<type> return inst_temp_type(b, replacements, epoch);)
for (var i = 0; i < o->data._binding.second.size; i++;) { for (var i = 0; i < o->data._binding.second.size; i++;) {
if (o->data._binding.second[i] != binding_types[i]) if (o->data._binding.second[i] != binding_types[i])
return binding_p(type::_obj(_binding(o->data._binding.first, binding_types, o->data._binding.third))) return binding_p(type::_obj(_binding(o->data._binding.first, binding_types, o->data._binding.third)), epoch)
} }
} }
type::_ptr(p) { type::_ptr(p) {
var cp = inst_temp_type(p, replacements) var cp = inst_temp_type(p, replacements, epoch)
if (cp == p) if (cp == p)
return t return t
else else
return binding_p(type::_ptr(cp)) return binding_p(type::_ptr(cp), epoch)
} }
type::_fun(b) { type::_fun(b) {
// triple<pair<param_types, return_type>, is_variadic, is raw> // triple<pair<param_types, return_type>, is_variadic, is raw>
var rt = make_pair(b.first.second.first, inst_temp_type(b.first.second.second, replacements)) var rt = make_pair(b.first.second.first, inst_temp_type(b.first.second.second, replacements, epoch))
var pts = b.first.first.map(fun(pt: pair<ref_type, *binding<type>>): pair<ref_type, *binding<type>> return make_pair(pt.first, inst_temp_type(pt.second, replacements));) var pts = b.first.first.map(fun(pt: pair<ref_type, *binding<type>>): pair<ref_type, *binding<type>> return make_pair(pt.first, inst_temp_type(pt.second, replacements, epoch));)
if (rt.second != b.first.second.second) if (rt.second != b.first.second.second)
return binding_p(type::_fun(make_triple(make_pair(pts, rt), b.second, b.third))) return binding_p(type::_fun(make_triple(make_pair(pts, rt), b.second, b.third)), epoch)
for (var i = 0; i < pts.size; i++;) for (var i = 0; i < pts.size; i++;)
if (pts[i].second != b.first.first[i].second) if (pts[i].second != b.first.first[i].second)
return binding_p(type::_fun(make_triple(make_pair(pts, rt), b.second, b.third))) return binding_p(type::_fun(make_triple(make_pair(pts, rt), b.second, b.third)), epoch)
return t return t
} }
type::_template_placeholder() return replacements[t] type::_template_placeholder() return replacements[t]
@@ -136,7 +136,7 @@ fun inst_temp_type(t: *binding<type>, replacements: ref map<*binding<type>, *bin
return t return t
} }
fun equality(a: *type, b: *type, count_unknown_as_equal: bool): bool { fun equality(a: *type, b: *type, count_unknown_as_equal: bool, epoch: binding_epoch): bool {
/*println("equality of " + to_string(a) + " and " + to_string(b))*/ /*println("equality of " + to_string(a) + " and " + to_string(b))*/
if (count_unknown_as_equal && (is_unknown(a) || is_unknown(b))) if (count_unknown_as_equal && (is_unknown(a) || is_unknown(b)))
return true return true
@@ -144,12 +144,12 @@ fun equality(a: *type, b: *type, count_unknown_as_equal: bool): bool {
type::_obj(x) { type::_obj(x) {
if (!is_obj(b)) if (!is_obj(b))
return false return false
if (get_ast_binding(x) == get_ast_binding(b->_obj)) if (get_ast_binding(x, epoch) == get_ast_binding(b->_obj, epoch))
return true return true
if (!count_unknown_as_equal || (ast_bound(x) && ast_bound(b->_obj)) || x->data._binding.first != b->_obj->data._binding.first || x->data._binding.second.size != b->_obj->data._binding.second.size) if (!count_unknown_as_equal || (ast_bound(x) && ast_bound(b->_obj)) || x->data._binding.first != b->_obj->data._binding.first || x->data._binding.second.size != b->_obj->data._binding.second.size)
return false return false
for (var i = 0; i < x->data._binding.second.size; i++;) { for (var i = 0; i < x->data._binding.second.size; i++;) {
if (!equality(x->data._binding.second[i]->bound_to, b->_obj->data._binding.second[i]->bound_to, count_unknown_as_equal)) if (!equality(x->data._binding.second[i]->get_bound_to(epoch), b->_obj->data._binding.second[i]->get_bound_to(epoch), count_unknown_as_equal, epoch))
return false return false
} }
return true return true
@@ -157,17 +157,17 @@ fun equality(a: *type, b: *type, count_unknown_as_equal: bool): bool {
type::_ptr(p) { type::_ptr(p) {
if (!is_ptr(b)) if (!is_ptr(b))
return false return false
return equality(p->bound_to, b->_ptr->bound_to, count_unknown_as_equal) return equality(p->get_bound_to(epoch), b->_ptr->get_bound_to(epoch), count_unknown_as_equal, epoch)
} }
type::_fun(i) { type::_fun(i) {
if ( !(is_fun(b) && a->_fun.second == b->_fun.second && a->_fun.third == b->_fun.third) ) if ( !(is_fun(b) && a->_fun.second == b->_fun.second && a->_fun.third == b->_fun.third) )
return false return false
if ( !equality(a->_fun.first.second.second->bound_to, b->_fun.first.second.second->bound_to, count_unknown_as_equal) ) if ( !equality(a->_fun.first.second.second->get_bound_to(epoch), b->_fun.first.second.second->get_bound_to(epoch), count_unknown_as_equal, epoch) )
return false return false
if ( !(a->_fun.first.first.size == b->_fun.first.first.size) ) if ( !(a->_fun.first.first.size == b->_fun.first.first.size) )
return false return false
for (var i = 0; i < a->_fun.first.first.size; i++;) for (var i = 0; i < a->_fun.first.first.size; i++;)
if ( !equality(a->_fun.first.first[i].second->bound_to, b->_fun.first.first[i].second->bound_to, count_unknown_as_equal) ) if ( !equality(a->_fun.first.first[i].second->get_bound_to(epoch), b->_fun.first.first[i].second->get_bound_to(epoch), count_unknown_as_equal, epoch) )
return false return false
return true return true
} }
@@ -178,7 +178,7 @@ fun to_string(it: *type): str {
match (*it) { match (*it) {
type::_unknown() return str("_unknown") type::_unknown() return str("_unknown")
type::_void() return str("_void") type::_void() return str("_void")
type::_ptr(p) return "*" + to_string(p->bound_to) type::_ptr(p) return "* pre_ref:" + to_string(p->get_bound_to(binding_epoch::pre_ref())) + "/post_ref" + to_string(p->get_bound_to(binding_epoch::post_ref()))
type::_obj(b) { type::_obj(b) {
return "_obj(" + to_string(b->data) + ")" return "_obj(" + to_string(b->data) + ")"
} }
@@ -189,10 +189,10 @@ fun to_string(it: *type): str {
to_ret += "_run(" to_ret += "_run("
else else
to_ret += "_fun(" to_ret += "_fun("
to_ret += str(", ").join(b.first.first.map(fun(pt: pair<ref_type, *binding<type>>): str return to_string(pt.first) + to_string(pt.second->bound_to);)) to_ret += str(", ").join(b.first.first.map(fun(pt: pair<ref_type, *binding<type>>): str return to_string(pt.first) + "pre_ref:" + to_string(pt.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref" + to_string(pt.second->get_bound_to(binding_epoch::post_ref()));))
if (b.third) if (b.third)
to_ret += " ..." to_ret += " ..."
return to_ret + "): " + to_string(b.first.second.first) + to_string(b.first.second.second->bound_to) return to_ret + "): " + to_string(b.first.second.first) + "* pre_ref:" + to_string(b.first.second.second->get_bound_to(binding_epoch::pre_ref())) + "/post_ref:" + to_string(b.first.second.second->get_bound_to(binding_epoch::post_ref()))
} }
type::_template_placeholder() return str("_template_placeholder") type::_template_placeholder() return str("_template_placeholder")
type::_bool() return str("_bool") type::_bool() return str("_bool")