Implement a hash_map and swap gss over to use it, making self-compilation 10 seconds faster on my laptop. captain.sh has been extended with the ability to bootstrap over any number of git commits.

This commit is contained in:
Nathan Braswell
2016-04-22 02:58:14 -04:00
parent 5a7a1d3b3c
commit bfc3b72b00
4 changed files with 93 additions and 40 deletions

View File

@@ -405,8 +405,8 @@ obj parser (Object) {
obj gss (Object) {
var data: vector<vector<*tree<int>>>
var edges: map< pair<*tree<int>, *tree<int>>, *tree<symbol> >
/*var edges: hash_map< pair<*tree<int>, *tree<int>>, *tree<symbol> >*/
/*var edges: map< pair<*tree<int>, *tree<int>>, *tree<symbol> >*/
var edges: hash_map< pair<*tree<int>, *tree<int>>, *tree<symbol> >
fun construct(): *gss {
data.construct()