aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/analyser/host.clj
diff options
context:
space:
mode:
authorEduardo Julian2016-12-04 23:41:23 -0400
committerEduardo Julian2016-12-04 23:41:23 -0400
commitf44c594e29c33639a0fcd6e2c46c15f0012d2e91 (patch)
tree486576c407cdcd0fef36bb76cba6e1eda511e905 /luxc/src/lux/analyser/host.clj
parent7abe83784b9b63e8ac427ec3f21ff0b0850c72e2 (diff)
- Removed "monitorenter" and "monitorexit" procedures.
Diffstat (limited to '')
-rw-r--r--luxc/src/lux/analyser/host.clj17
1 files changed, 0 insertions, 17 deletions
diff --git a/luxc/src/lux/analyser/host.clj b/luxc/src/lux/analyser/host.clj
index 209e36d0e..6aea46cab 100644
--- a/luxc/src/lux/analyser/host.clj
+++ b/luxc/src/lux/analyser/host.clj
@@ -686,21 +686,6 @@
(return (&/|list (&&/|meta exo-type _cursor
(&&/$proc (&/T ["jvm" "synchronized"]) (&/|list =monitor =expr) (&/|list)))))))
-(do-template [<name> <tag>]
- (defn <name> [analyse exo-type ?values]
- (|do [:let [(&/$Cons ?monitor (&/$Nil)) ?values]
- =monitor (&&/analyse-1+ analyse ?monitor)
- _ (ensure-object (&&/expr-type* =monitor))
- :let [output-type &/$UnitT]
- _ (&type/check exo-type output-type)
- _cursor &/cursor]
- (return (&/|list (&&/|meta exo-type _cursor
- (&&/$proc (&/T ["jvm" <tag>]) (&/|list =monitor) (&/|list)))))))
-
- ^:private analyse-jvm-monitorenter "monitorenter"
- ^:private analyse-jvm-monitorexit "monitorexit"
- )
-
(defn ^:private analyse-jvm-throw [analyse exo-type ?values]
(|do [:let [(&/$Cons ?ex (&/$Nil)) ?values]
=ex (&&/analyse-1+ analyse ?ex)
@@ -1242,8 +1227,6 @@
"load-class" (analyse-jvm-load-class analyse exo-type ?values)
"try" (analyse-jvm-try analyse exo-type ?values)
"throw" (analyse-jvm-throw analyse exo-type ?values)
- "monitorenter" (analyse-jvm-monitorenter analyse exo-type ?values)
- "monitorexit" (analyse-jvm-monitorexit analyse exo-type ?values)
"null?" (analyse-jvm-null? analyse exo-type ?values)
"null" (analyse-jvm-null analyse exo-type ?values)
"anewarray" (analyse-jvm-anewarray analyse exo-type ?values)