ocaml-javascript-diagram

```
                                       OCaml compilation pipeline





                                            ┌────────────────┐
                                            │                │
                                            │  Source code   │
                                            │                │     parsing and preprocessing
                                            └───────┬────────┘   preprocessor extensions (ppx)
                                                    │
                                                    │
                                            ┌───────▼────────┐
                                            │                │
                                            │   Parsetree    │
                                            │  (untyped AST) │
                                            └───────┬────────┘
                                                    │
                                                    │            type inference and checking
                                            ┌───────▼────────┐
                                            │                │
                                            │   Typedtree    │
                                            │                │
                                            └───────┬────────┘
                                                    │
                                                    │            pattern-matching compilation
                                            ┌───────▼────────┐  elimination of modules and classes                       (patches to pass more information down to Lambda)
                                            │                │
                                            │ OCaml  Lambda  ├──────────────────────────────────────────────────────┐
                                            │                │                                                      │
                                            └───────┬────────┘            closure conversion,                       │                        melange/original Bucklescript
                                                    │                    inlining, uncurrying,          ┌───────────┼─────────────────────────────────────────────────────────────┐
┌──────────────────────┐           ┌────────────────┴────────────────┐   data representation strategy   │           │                                                             │
│                      │           │                                 │                                  │   ┌───────▼────────┐                                                    │
│  ┌────────────────┐  │    ┌──────▼─────────┐               ┌───────▼────────┐                         │   │                │      6 Lambda Passes (lam_* files)                 │
│  │                │  │    │                │               │                │                         │   │ Buckle Lambda  │    Optimisation/inlining/dead code elimination     │
│  │   js_of_ocaml  │◄─┼────┤   Bytecode     │               │      CMM       │                         │   │                │                                                    │
│  │                │  │    │                │               │                │                         │   └───────┬────────┘                                                    │
│  └───────┬────────┘  │    └──────┬─────────┘               └───────┬────────┘                         │           │         self tail call elimination                          │
│          │           │           │      ocamlrun                   │                                  │           │         Constant folding + propagation                      │
│          │           │           │                                 │                                  │           │                                                             │
│  ┌───────▼────────┐  │    ┌──────▼─────────┐               ┌───────▼────────┐                         │   ┌───────▼────────┐                                                    │
│  │ Javascript code│  │    │                │               │                │                         │   │                │                                                    │
│  │                │  │    │  Interpreted   │               │    Compiled    │                         │   │ Javascript IR  │     6 JS Passes (js_* files)                       │
│  │                │  │    │                │               │                │                         │   │                │   Optimisation/inlining/dead code elimination      │
│  └────────────────┘  │    └────────────────┘               └────────────────┘                         │   └───────┬────────┘                                                    │
│                      │                                                                                │           │                                                             │
└──────────────────────┘                                                                                │           │        Smart printer include scope analysis                 │
                                                                                                        │           │                                                             │
                                                                                                        │   ┌───────▼────────┐                                                    │
                                                                                                        │   │                │                                                    │
                                                                                                        │   │ Javascript Code│                                                    │
                                                                                                        │   │                │                                                    │
                                                                                                        │   └────────────────┘                                                    │
                                                                                                        │                                                                         │
                                                                                                        └─────────────────────────────────────────────────────────────────────────┘
```