make record types first-class only (not sure if it is good idea)

src/main/java/org/yinwang/yin/ast/RecordDef.java

@@ -55,9 +55,7 @@ public Value interp(Scope s) {
             }
         }
 
-        Value r = new RecordType(name.id, this, properties);
-        s.putValue(name.id, r);
-        return Value.VOID;
+        return new RecordType(name.id, this, properties);
     }
 
 

tests/types3.yin

@@ -1,14 +1,24 @@
+-- (define f
+--   (fun (x y)
+--     (declare [x :type Int :default 1]
+--              [y :type Bool :default true])
+--     [x y]))
+
+
 (define f
-  (fun (x y)
-    -- (declare [x :type Int :default 1]
-    --          [y :type Bool :default true])
+  (fun ([x :type Int :default 10]
+        [y :type Bool :default true])
     [x y]))
 
-(f :y 1 :x 2)
+(f :x 20 :y false)
 
 
--- (record A
---   [x :type Int :default (+ 1 2)]
---   [y :type Bool :default true])
+(define aa
+ (seq
+  (define x 1)
+  (record A
+    [x :type Int :default (+ x 2)]
+    [y :type Bool])))
 
--- (A :x 10 :y false :z 12)
+(define x 10)
+(aa :y 20)