Skip to content
GitLab

Move `Make` classes/instances to their own file, and improve documentation

Merged Robbert Krebbers requested to merge robbert/make into master

This is an alternative proposal for !814 (closed). It only moves the Make classes (and not the Frame classes) to their own file, because the Make classes are also used by the iNext machinery.

Additionally:

  • This MR improves the documentation of the classes. (It cherry picked a comment about documentation from !814 (closed))
  • This MR renames frame_instances to class_instances_frame to be consistent with other class_instances_X files.
Edited by Robbert Krebbers