aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/analyser.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/new-luxc/source/luxc/analyser.lux b/new-luxc/source/luxc/analyser.lux
index 2a77d8bb5..7de7bab57 100644
--- a/new-luxc/source/luxc/analyser.lux
+++ b/new-luxc/source/luxc/analyser.lux
@@ -26,38 +26,38 @@
(^template [<tag> <analyser>]
[cursor (<tag> value)]
(<analyser> cursor value))
- ([#;BoolS &&lux;analyse-bool]
- [#;NatS &&lux;analyse-nat]
- [#;IntS &&lux;analyse-int]
- [#;DegS &&lux;analyse-deg]
- [#;RealS &&lux;analyse-real]
- [#;CharS &&lux;analyse-char]
- [#;TextS &&lux;analyse-text])
+ ([#;Bool &&lux;analyse-bool]
+ [#;Nat &&lux;analyse-nat]
+ [#;Int &&lux;analyse-int]
+ [#;Deg &&lux;analyse-deg]
+ [#;Real &&lux;analyse-real]
+ [#;Char &&lux;analyse-char]
+ [#;Text &&lux;analyse-text])
- (^ [cursor (#;TupleS (list))])
+ (^ [cursor (#;Tuple (list))])
(&&lux;analyse-unit cursor)
- (^ [cursor (#;TupleS (list singleton))])
+ (^ [cursor (#;Tuple (list singleton))])
(analyse eval singleton)
- (^ [cursor (#;TupleS elems)])
+ (^ [cursor (#;Tuple elems)])
(&&lux;analyse-tuple (analyse eval) cursor elems)
- [cursor (#;SymbolS reference)]
+ [cursor (#;Symbol reference)]
(&&lux;analyse-reference cursor reference)
- (^ [cursor (#;FormS (list [_ (#;SymbolS ["" "_lux_check"])]
- type
- value))])
+ (^ [cursor (#;Form (list [_ (#;Symbol ["" "_lux_check"])]
+ type
+ value))])
(&&lux;analyse-check analyse eval cursor type value)
- (^ [cursor (#;FormS (list [_ (#;SymbolS ["" "_lux_coerce"])]
- type
- value))])
+ (^ [cursor (#;Form (list [_ (#;Symbol ["" "_lux_coerce"])]
+ type
+ value))])
(&&lux;analyse-coerce analyse eval cursor type value)
- (^ [cursor (#;FormS (list [_ (#;NatS tag)]
- value))])
+ (^ [cursor (#;Form (list [_ (#;Nat tag)]
+ value))])
(&&lux;analyse-variant (analyse eval) cursor tag value)
_