Code

Validate main() argument types#470

Code

Merged

Akuli merged 7 commits intomainAkuli/jou:mainfrom main-argsAkuli/jou:main-argsCopy head branch name to clipboardDec 19, 2023

+49-8

Commits

Commits on Dec 19, 2023

• check main function args

  Akuli

  committed
  00280d9

• ignore self hosted for now

  Akuli

  committed
  d9f7d61

• fixed self hosted

  Akuli

  committed
  bb8b49f

• fix location?

  Akuli

  committed
  7b8ffa6

• Update tests/wrong_type/main_3_args.jou

  Akuli

  authored
  7d96ef3

• Merge branch 'main' into main-args

  Akuli

  authored
  1e2bd26

• Update tests/should_succeed/main_funny_arg_names.jou

  Akuli

  authored
  4321f8a