Merge branch 'redbin'

red · Apr 19, 2015 · 1643e2b · 1643e2b
2 parents c4aa141 + 665bcd7
commit 1643e2b
Show file tree

Hide file tree

Showing 29 changed files with 1,786 additions and 303 deletions.
diff --git a/build/includes.r b/build/includes.r
@@ -46,13 +46,15 @@ write %build/bin/sources.r set-cache [
 		%parse.reds
 		%random.reds
 		%red.reds
+		%redbin.reds
 		%sort.reds
 		%hashtable.reds
 		%stack.reds
 		%stack.reds
 		%tools.reds
 		%unicode.reds
 		%simple-io.reds
+		%crush.reds
 		%datatypes/ [
 			%action.reds
 			%block.reds
@@ -104,6 +106,7 @@ write %build/bin/sources.r set-cache [
 	]
 	%utils/ [
 		%extractor.r
+		%redbin.r
 	]
 	%system/ [
 		%compiler.r