ATDCAT(1)

📦 version 4.2.0, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

🦋 ATDCAT(1) 🦋 — ok bestie, let's talk ATD files

so this little icon lives in the User Manuals section of the manual pages, and honestly? she's giving utility. her whole thing is checking your ATD files, making them pretty, and doing lil transformations on them. periodt.

✨ NAME ✨

atdcat — syntax check and transformations of ATD files 🎀

🫶 SYNOPSIS 🫶

atdcat [options...] file

💖 DESCRIPTION 💖

okay so here's the vibe: atdcat does syntax checking and pretty printing on ATD files. that's the main character energy. ✨

and like, she's not a one-trick pony either — she can also do transformations, for example monomorphization, or flattening of inheritance hierarchies. yes bestie, she does that. 💅

🌸 OPTIONS 🌸

  • -x — make type expressions monomorphic. no more parameters, we're going full concrete 🔥
  • -xk — keep parametrized type definitions and imply -x. heads up: the default is to return only monomorphic type definitions, so this is you saying "no actually, keep the parametrized ones too" 💁
  • -xd — debug mode, which implies -x. she's in her debugging era 🐛
  • -i — expand all inherit statements. every single one. no survivors 💀
  • -if — expand inherit statements in records specifically
  • -iv — expand inherit statements in sum types</sum> specifically
  • -ml <name> — output the ocaml code of the ATD abstract syntax tree. say name and she'll hand you the OCaml 🐫
  • -html-doc — replace directly <doc html="..."> by (*html ... *) or replace <doc text="..."> by (*html ... *) where the contents are formatted as HTML using <p>, <code> and <pre>. this is suitable input for caml2html -ext html:cat, which converts ATD files into HTML. cute docs, slay 📄✨
  • -strip NAME1[,NAME2,...] — remove all annotations of the form <NAME1 ...>, <NAME2 ...>, etc. bye bye annotations 👋
  • -strip-all — remove all annotations. every last one. nothing is safe 🧹
  • -version — print the version and exit. quick lil flex 💜
  • -help | --help — print options and exit. when you're lost, she's got you 🫶

👀 SEE ALSO 👀

👑 AUTHOR 👑

This manual page was written by Sylvain Le Gall <gildor@debian.org> and Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may be used by others). legends, honestly 🌈

okay and for the cute sign-off: this whole thing is filed under ATDCAT, dated May 2013, and answers to ATDCAT(1). that's the tea, bestie — go check your ATD files 💖🌸🦋

📦 where this page comes from