Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. explicit check that abstract constructors cannot be part of official interface
  2. do not export abstract constructors in code_reflect
Changeset 63175:d191892b1c23 by haftmann:
explicit check that abstract constructors cannot be part of official interface
The file was modified NEWS (diff)
The file was modified src/Doc/Codegen/Evaluation.thy (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 63174:57c0d60e491c by haftmann:
do not export abstract constructors in code_reflect
The file was modified NEWS (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)