Fix `not x` for optional values

2 files changed, 7 insertions, 1 deletions

diff --git a/compile.c b/compile.c
index 9f9b0e9c..860c11b9 100644
--- a/compile.c
+++ b/compile.c
@@ -1865,7 +1865,7 @@ CORD compile(env_t *env, ast_t *ast)
     }
     case Not: {
         ast_t *value = Match(ast, Not)->value;
-        type_t *t = get_type(env, ast);
+        type_t *t = get_type(env, value);
 
         binding_t *b = get_namespace_binding(env, value, "negated");
         if (b && b->type->tag == FunctionType) {
diff --git a/test/optionals.tm b/test/optionals.tm
index 2c87d6c9..e2d616b7 100644
--- a/test/optionals.tm
+++ b/test/optionals.tm
@@ -315,3 +315,9 @@ func main():
             >> opt
         else:
             >> opt
+
+    >> not 5?
+    = no
+
+    >> not !Int
+    = yes