aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/synthesizer.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/synthesizer.lux14
1 files changed, 14 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux
new file mode 100644
index 000000000..682bbe3ec
--- /dev/null
+++ b/new-luxc/source/luxc/synthesizer.lux
@@ -0,0 +1,14 @@
+(;module:
+ lux
+ (lux (control monad)
+ (data text/format)
+ [macro #+ Monad<Lux>])
+ (luxc ["&" base]
+ ["&;" analyser #+ Analysis]))
+
+(type: #export Synthesis
+ Unit)
+
+(def: #export (synthesize analysis)
+ (-> Analysis Synthesis)
+ (undefined))