feat: add namespacing for foreign and unit tests for C interoperability

compiler/codegen.go

@@ -58,7 +58,7 @@ func generateLinuxX64() {
 		out.WriteMetadata("public main")
 		for _, f := range TheProgram.chunks {
 			if f.foreign {
-				out.WriteMetadata("extrn %s", f.word)
+				out.WriteMetadata("extrn %s", f.name)
 			}
 		}
 		out.WriteCode("section '.text' executable")
@@ -307,7 +307,7 @@ func generateLinuxX64() {
 					out.WriteCode("    pop %s", registers[i])
 				}
 
-				out.WriteCode("    call %s", function.word)
+				out.WriteCode("    call %s", function.name)
 
 				if hasResults {
 					out.WriteCode("    push rax")
@@ -367,9 +367,14 @@ func generateLinuxX64() {
 	out.WriteCode("    mov rax, return_stack_rsp_end")
 	out.WriteCode("    mov [return_stack_rsp], rax")
 	out.WriteCode("    call fn%d", mainFuncIP)
-	out.WriteCode("    mov rax, 60")
-	out.WriteCode("    mov rdi, 0")
-	out.WriteCode("    syscall")
+	if TheProgram.libcEnabled {
+		out.WriteCode("    mov rdi, 0")
+		out.WriteCode("    call exit")
+	} else {
+		out.WriteCode("    mov rax, 60")
+		out.WriteCode("    mov rdi, 0")
+		out.WriteCode("    syscall")
+	}
 }
 
 func CodegenRun(out *OutputCode) {

compiler/frontend.go

@@ -22,6 +22,8 @@ const (
 type Function struct {
 	ip              int
 	loc             Location
+	name            string
+	namespace       string
 	token           Token
 	word            string
 
@@ -373,6 +375,14 @@ func createConstant() {
 func createForeigns() {
 	t := parser.previousToken
 
+	if !match(TOKEN_WORD) {
+		t := parser.previousToken
+		ReportErrorAtLocation(DeclarationWordMissing, t.loc)
+		ExitWithError(ParseError)
+	}
+
+	namespace := parser.previousToken.value.(string)
+
 	consume(TOKEN_CURLY_BRACKET_OPEN,
 		UnexpectedSymbol, parser.previousToken.kind, "{")
 
@@ -392,7 +402,9 @@ func createForeigns() {
 			advance()
 
 			tokenWord := parser.previousToken
-			function.word = tokenWord.value.(string)
+			function.namespace = namespace
+			function.name = tokenWord.value.(string)
+			function.word = function.namespace + "." + function.name
 			consume(TOKEN_PAREN_OPEN, UnexpectedSymbol, t.kind, "(")
 			parsingArguments := true
 

libs/libc.sk

@@ -34,7 +34,9 @@
 ; all the C required procedures, making compilation slower and final file
 ; size bigger. 'libc' is linked statically.
 
-foreign {
-  fn printf (any str) ...
-  fn puts   (str)     ...
+foreign c {
+  fn exit    (int)         ...
+  fn fprintf (int any str) ...
+  fn printf  (any str)     ...
+  fn puts    (str)         ...
 }

tests/c-printf.sk

@@ -0,0 +1,6 @@
+using libc
+using unix
+
+fn main ()
+  "Stańczyk" "Hello, %s\n" c.printf
+ret

tests/c-printf.txt

@@ -0,0 +1 @@
+Hello, Stańczyk