Compiling factorial

AML/.gitignore

@@ -0,0 +1,3 @@
+/_build
+/_coverage
+

AML/.ocamlformat

@@ -0,0 +1,2 @@
+version=0.27.0
+profile=janestreet

AML/AML.opam

@@ -0,0 +1,40 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A ML compiler"
+maintainer: ["suvorovrain" "," "kinokotakenoko9"]
+authors: ["suvorovrain" "," "kinokotakenoko9"]
+license: ["LGPL-2.1-or-later" "WITH" "OCaml-LGPL-linking-exception"]
+homepage: "https://github.com/suvorovrain/AML"
+bug-reports: "https://github.com/suvorovrain/AML/issues"
+depends: [
+  "dune" {>= "3.8" & = "3.19.1"}
+  "base"
+  "angstrom" {= "0.16.0"}
+  "qcheck-core"
+  "ppx_inline_test" {with-test}
+  "ppx_deriving"
+  "ppx_deriving_qcheck" {= "0.6"}
+  "ppx_expect"
+  "bisect_ppx"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/suvorovrain/AML.git"
+pin-depends: [
+  ["ppx_deriving_qcheck.0.6" "git+https://github.com/c-cube/qcheck.git#42429bf06ba12373cad02b1404f50d0ad6238af5"]
+]
+
+# Don't edit '*.opam' file manually. Use 'dune build @install'

AML/AML.opam.template

@@ -0,0 +1,5 @@
+pin-depends: [
+  ["ppx_deriving_qcheck.0.6" "git+https://github.com/c-cube/qcheck.git#42429bf06ba12373cad02b1404f50d0ad6238af5"]
+]
+
+# Don't edit '*.opam' file manually. Use 'dune build @install'

AML/Makefile

@@ -0,0 +1,30 @@
+.PHONY: all test
+all:
+	dune build
+
+test:
+	dune test
+
+TEST_COV_D = /tmp/cov
+COVERAGE_OPTS = --coverage-path $(TEST_COV_D) --expect lib/
+
+fmt:
+	dune build @fmt --auto-promote
+
+lint:
+	dune build @lint --force
+
+release:
+	dune build --profile=release
+	dune runtest --profile=release
+
+.PHONY: test_coverage coverage
+test_coverage: coverage
+coverage:
+	$(RM) -r $(TEST_COV_D)
+	mkdir -p $(TEST_COV_D)
+	BISECT_FILE=$(TEST_COV_D)/language dune runtest --no-print-directory \
+		--instrument-with bisect_ppx --force
+	bisect-ppx-report html $(COVERAGE_OPTS)
+	bisect-ppx-report summary $(COVERAGE_OPTS)
+	@echo "Use 'xdg-open _coverage/index.html' to see coverage report"

AML/bin/AML.ml

@@ -0,0 +1,47 @@
+(** Copyright 2025-2026, Rodion Suvorov, Dmitriy Chirkov*)
+
+(** SPDX-License-Identifier: LGPL-3.0-or-later *)
+
+open Codegen
+open Format
+
+let usage_msg = "Usage: AML.exe <input file> <output file>"
+
+let read_file filename =
+  let ic = open_in filename in
+  let len = in_channel_length ic in
+  let s = really_input_string ic len in
+  close_in ic;
+  s
+;;
+
+let write_file filename content =
+  let oc = open_out filename in
+  output_string oc content;
+  close_out oc
+;;
+
+let parse_args = function
+  | [ input; output ] -> input, output
+  | _ ->
+    prerr_endline usage_msg;
+    exit 1
+;;
+
+let compile input_file output_file =
+  let src = read_file input_file in
+  let program = Parser.parse_str src in
+  let buf = Buffer.create 1024 in
+  let fmt = formatter_of_buffer buf in
+  codegen fmt program;
+  pp_print_flush fmt ();
+  write_file output_file (Buffer.contents buf);
+  Printf.printf "Generated: %s\n" output_file
+;;
+
+let main input_file output_file =
+  let input_file, output_file = parse_args [ input_file; output_file ] in
+  compile input_file output_file
+;;
+
+let () = main Sys.argv.(1) Sys.argv.(2)

AML/bin/dune

@@ -0,0 +1,3 @@
+(executable
+ (name AML)
+ (libraries stdio base Parser Inferencer Pprinter Codegen))

AML/dune-project

@@ -0,0 +1,33 @@
+(lang dune 3.8)
+
+(name AML)
+
+(generate_opam_files true)
+
+(source
+ (github suvorovrain/AML))
+
+(authors "suvorovrain" , "kinokotakenoko9")
+
+(maintainers "suvorovrain" , "kinokotakenoko9")
+
+(license LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception)
+
+(package
+ (name AML)
+ (synopsis "A ML compiler")
+ (depends
+  (dune
+   (= "3.19.1"))
+  base
+  (angstrom
+   (= "0.16.0"))
+  qcheck-core
+  (ppx_inline_test :with-test)
+  ppx_deriving
+  (ppx_deriving_qcheck
+   (= "0.6"))
+  ppx_expect
+  bisect_ppx))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project