3 files changed, 31 insertions, 5 deletions
diff --git a/src/lang/analyser.clj b/src/lang/analyser.clj
index 8572cfa53..9251b9523 100644
--- a/src/lang/analyser.clj
+++ b/src/lang/analyser.clj
@@ -1,6 +1,7 @@
 (ns lang.analyser
   (:refer-clojure :exclude [resolve])
-  (:require [clojure.string :as string]
+  (:require (clojure [string :as string]
+                     [template :refer [do-template]])
             [clojure.core.match :refer [match]]
             (lang [util :as &util :refer [exec return* return fail fail*
                                           repeat-m try-m try-all-m map-m
@@ -106,6 +107,17 @@
         _
         =return))))
 
+(do-template [<name> <tag> <class>]
+  (defanalyser <name>
+    [<tag> ?value]
+    (return (annotated [::literal ?value] [::&type/object <class> []])))
+
+  analyse-boolean ::&parser/boolean "java.lang.Boolean"
+  analyse-int     ::&parser/int     "java.lang.Integer"
+  analyse-float   ::&parser/float   "java.lang.Float"
+  analyse-string  ::&parser/string  "java.lang.String"
+  )
+
 (defanalyser analyse-boolean
   [::&parser/boolean ?boolean]
   (return (annotated [::literal ?boolean] [::&type/object "java.lang.Boolean" []])))
@@ -270,6 +282,8 @@
 
 (def ^:private analyse-form
   (try-all-m [analyse-boolean
+              analyse-int
+              analyse-float
               analyse-string
               analyse-variant
               analyse-tuple
diff --git a/src/lang/compiler.clj b/src/lang/compiler.clj
index 83ce18ab1..e7d1ed582 100644
--- a/src/lang/compiler.clj
+++ b/src/lang/compiler.clj
@@ -70,8 +70,17 @@
 ;; [Utils/Compilers]
 (defcompiler ^:private compile-literal
   [::&analyser/literal ?literal]
-  (cond (string? ?literal)
-        (.visitLdcInsn *writer* ?literal)
+  (cond (instance? java.lang.Integer ?literal)
+        (doto *writer*
+          (.visitTypeInsn Opcodes/NEW (->class "java.lang.Integer"))
+          (.visitInsn Opcodes/DUP)(.visitLdcInsn ?literal)
+          (.visitMethodInsn Opcodes/INVOKESPECIAL (->class "java.lang.Integer") "<init>" "(I)V"))
+
+        (instance? java.lang.Float ?literal)
+        (doto *writer*
+          (.visitTypeInsn Opcodes/NEW (->class "java.lang.Float"))
+          (.visitInsn Opcodes/DUP)(.visitLdcInsn ?literal)
+          (.visitMethodInsn Opcodes/INVOKESPECIAL (->class "java.lang.Float") "<init>" "(F)V"))
 
         (instance? java.lang.Boolean ?literal)
         (if ?literal
@@ -80,6 +89,9 @@
           ;; (.visitLdcInsn *writer* (int 0))
           (.visitFieldInsn *writer* Opcodes/GETSTATIC (->class "java.lang.Boolean") "FALSE" (->type-signature "java.lang.Boolean")))
 
+        (string? ?literal)
+        (.visitLdcInsn *writer* ?literal)
+
         :else
         (assert false (str "[Unknown literal type] " ?literal " : " (class ?literal)))))
 
diff --git a/src/lang/parser.clj b/src/lang/parser.clj
index 76f32aba1..e82a7ef75 100644
--- a/src/lang/parser.clj
+++ b/src/lang/parser.clj
@@ -25,11 +25,11 @@
 
 (defparser ^:private parse-int
   [::&lexer/int ?int]
-  (return [::int (Long/parseLong ?int)]))
+  (return [::int (Integer/parseInt ?int)]))
 
 (defparser ^:private parse-float
   [::&lexer/float ?float]
-  (return [::float (Double/parseDouble ?float)]))
+  (return [::float (Float/parseFloat ?float)]))
 
 (defn ident->string [ident]
   (match ident