Skip to content
Snippets Groups Projects
Select Git revision
  • 2748d4dfa10ca647bb171640f7bb4663c4ee2080
  • master default protected
  • modcheck
  • fuzzy
  • cleanup
  • coalg-el
  • VMCAI-2024
  • v2.4
  • CADE-29
  • v2.3
  • v2.2
  • v2.1
  • v2.0
  • v1.1
  • v1.0
15 results

dune-workspace

Blame
  • dune-workspace 371 B
    (lang dune 2.8)
    ;; This disables a few warnings
    ;; 6: missing label applications as they most likely are intentional
    ;; 8: unused value as somethimes code is left over or for future use
    ;; 24: bad module name as our executables are not modules and we dont care
    ;; 32: unmatched values warnings are sometimes intentional
    (env
      (dev
        (flags (:standard -w -6-8-24-32))))