Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dropped dead code
  2. ensure no duplicates after preprocessing
  3. reject polymorphic result types; formally generalized to multiple result types
  4. explicit a-priori detection of unsuitable terms for computations
Changeset 64946:03b5f4e7f4a6 by haftmann:
dropped dead code
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64945:4db1aa362c8c by haftmann:
ensure no duplicates after preprocessing
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64944:27b1ba3ef778 by haftmann:
reject polymorphic result types;<br>formally generalized to multiple result types
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64943:c5618df67c2a by haftmann:
explicit a-priori detection of unsuitable terms for computations
The file was modified src/Tools/Code/code_runtime.ML (diff)