source: extracted/PROBLEMS @ 2731

Last change on this file since 2731 was 2730, checked in by sacerdot, 7 years ago

Exported again.

File size: 991 bytes
RevLine 
[2601]1================
2EXTRACTION BUGS:
3================
4
51. ASM.subaddressing_modeel__o__mk_subaddressing_mode not extracted
6  val subaddressing_modeel__o__mk_subaddressing_mode:
7 Nat.nat -> Nat.nat -> addressing_mode_tag Vector.vector -> addressing_mode_tag Vector.vector -> addressing_mode -> addressing_mode
8
92. File "monad.ml", line 1, characters 0-1:
10Error: The implementation monad.ml does not match the interface monad.cmi:
11       Type declarations do not match:
12         type monad0 = Preamble.__
13       is not included in
14         type 'a monad0
15       They have different arities.
16
17Error: The implementation smallstepExec.ml
18       does not match the interface smallstepExec.cmi:
19       Type declarations do not match:
20         type global = Preamble.__
21       is not included in
22         type ('a, 'b) global
23       They have different arities.
24
25=========================
26AXIOMS TO BE IMPLEMENTED:
27=========================
28
[2730]29a) two in compiler.ml (the backend and the compiler itself)
Note: See TracBrowser for help on using the repository browser.