fixed: some build issues and weird compiler hangups

Author: brendanfh

compiler/build.sh

@@ -74,7 +74,7 @@ FLAGS=""
 if [ ! -z ${ONYX_TARGET+x} ]; then
     FLAGS="$FLAGS --target=$ONYX_TARGET"
 fi
-$ONYX_CC -shared $FLAGS -o "libonyx.$suffix" *.o $LIBS $LIBRARY_BUILD_ARGS
+$ONYX_CC -shared -fPIC $FLAGS -o "libonyx.$suffix" *.o $LIBS $LIBRARY_BUILD_ARGS
 
 echo "Compiling onyx executable"
 $ONYX_CC $INCLUDES $FLAGS cli/main.c *.o -o onyx $LIBS

core/container/array.onyx

@@ -308,6 +308,12 @@ Array.filter :: macro (arr: &[..] $T, body: Code) {
 #overload #order 100
 __for_expansion :: macro (_s: &[..] $T, $flags: __For_Expansion_Flags, $body: Code)
 {
+    remove_element :: macro () {
+        Array.delete(__s, __i)
+        __i -= 1
+        __count -= 1
+    }
+
     __s     := _s
     __data  := __s.data
     __count := __s.count
@@ -322,13 +328,7 @@ __for_expansion :: macro (_s: &[..] $T, $flags: __For_Expansion_Flags, $body: Co
             v := __data[__i]
         }
 
-        #unquote body(v, __i) #skip_scope(1) #inject {
-            remove_element :: macro () {
-                Array.delete(__s, __i)
-                __i -= 1
-                __count -= 1
-            }
-        }
+        #unquote body(v, __i) #skip_scope(1)
     }
 }
 

core/container/optional.onyx

@@ -17,8 +17,8 @@ use core
 /// Pass a type as the first argument to force the type, otherwise
 /// the type will be inferred from the parameter type.
 Optional.make :: #match #locked {
-    ((x: $T) => (?T).{ Some = x }),
-    ($T: type_expr, x: T) => ((?T).{ Some = x })
+    (x: $T) -> ? T { return x },
+    ($T: type_expr, x: T) -> ? T { return x }
 }
 
 /// Create an empty Optional of a certain type. This procedure