Appendix D: Known Issues and Missing Features

Known Issues

  • #913: type checker sometimes misses type errors in const initializers.

Missing Features

  • Strings
  • Dynamic arrays, i.e., array types where the size is a value that is not known at compile time.
  • Morphisms such that map, fold, filter, etc. that will allow morphing arrays.
  • Storage vectors