1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
open Base
open Liquid_syntax
open Tools
open Syntax
open Parser_tools
let parse_render = function
| LexValue (LexString filename) :: tokens -> begin
match tokens with
| EOS :: tl ->
Some (Render (filename, Ctx.empty, None), tl)
| LexFor :: LexValue (list) :: LexAs :: LexValue (LexId id) :: EOS :: tl ->
let render_ctx = Ctx.empty |> Ctx.add (List.hd_exn id) (Var id) in
let render = Render (filename, render_ctx, None) in
let iter_list = lex_value_to_value list in
let iter = For (join id, iter_list, for_params_default, Block [render], None) in
Some (iter, tl)
| LexWith :: LexValue v :: EOS :: _ ->
let render_ctx = Ctx.empty |> Ctx.add filename (lex_value_to_value v) in
Some (Render (filename, render_ctx, None), [])
| LexWith :: tl
| Comma :: tl -> (
match parse_variable_context tl with
| Some (got, rest) -> Some (Render (filename, got, None), rest)
| _ -> None
)
| _ -> None
end
| _ -> None
let parse_form block_parser all_tokens =
match all_tokens with
| LexValue (LexString filename) :: tokens -> begin
let ts = [LexForm] @ tokens in
let bounds = Bounds.find_bounds ts 0 in
let stop_point = Bounds.stop_point_from_bounds bounds in
let body = List.sub tokens ~pos:0 ~len:stop_point in
let pbody = Some (block_parser body) in
let rest = sub_list_suffix ts stop_point in
let formname = "form_" ^ filename in
match tokens with
| EOS :: _ ->
Some (Render (formname, Ctx.empty, pbody), rest)
| Comma :: LexValue (LexId id) :: EOS :: _ ->
let render_ctx = Ctx.empty |> Ctx.add (List.hd_exn id) (Var id) in
Some (Render (formname, render_ctx, pbody), rest)
| Comma :: LexValue (LexId id) :: Comma :: tl -> (
match parse_variable_context tl with
| Some (ctx, _) ->
let render_ctx = ctx |> Ctx.add (List.hd_exn id) (Var id) in
Some (Render (formname, render_ctx, pbody), rest)
| _ -> None
)
| Comma :: tl -> (
match parse_variable_context tl with
| Some (ctx, _) ->
Some (Render (formname, ctx, pbody), rest)
| _ -> None
)
| _ -> None
end
| _ -> None
let parse_style block_parser = function
| EOS :: tl ->
let tokens = [LexStyle] @ tl in
let bounds = Bounds.find_bounds tokens 0 in
let stop_point = Bounds.stop_point_from_bounds bounds in
let body = List.sub tl ~pos:0 ~len:stop_point in
let rest = sub_list_suffix tokens stop_point in
let render = Render (Settings.style_tag, Ctx.empty, Some (block_parser body)) in
Some (render, rest)
| _ -> None
let parse_theme block_parser = function
| LexLayout :: LexValue (LexString s) :: tl -> Some (Layout (Some s), tl)
| LexLayout :: LexNone :: tl -> Some(Layout (None), tl)
| LexSection :: LexValue (LexString s) :: tl -> Some (Section s, tl)
| LexInclude :: LexValue (LexString s) :: tl -> Some (Include s, tl)
| LexRender :: tl -> parse_render tl
| LexForm :: tl -> parse_form block_parser tl
| LexStyle :: tl -> parse_style block_parser tl
| _ -> None