blob: 793b667899d887b2d97ad90d26ab4bda6ce5360d (
plain)
1
2
3
4
5
6
7
8
9
10
|
(ns cljcc.analyze.core
(:require [cljcc.analyze.resolve :as r]
[cljcc.analyze.label-loops :as l]
[cljcc.analyze.typecheck :as t]))
(defn validate [program]
(-> program
r/resolve-program
l/label-loops
t/typecheck))
|