Ignore:
Timestamp:
Feb 23, 2013, 1:16:55 AM (8 years ago)
Author:
sacerdot
Message:

Extracted code for the whole compiler.
The space cost model is not there yet.

I have fixed by hand the few extraction problems
(i.e. composed coercions not extracted and type
definitions with wrong syntax).

I have also changed all axioms to be implemented
so that they do not fail at initialization time.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/errorMessages.mli

    r2649 r2717  
    6969| EmptyStack
    7070| OutOfBounds
     71| UnexpectedIO
     72| TerminatedEarly
    7173
    7274val errorMessage_rect_Type4 :
     
    7779  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    7880  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    79   errorMessage -> 'a1
     81  'a1 -> 'a1 -> errorMessage -> 'a1
    8082
    8183val errorMessage_rect_Type5 :
     
    8688  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    8789  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    88   errorMessage -> 'a1
     90  'a1 -> 'a1 -> errorMessage -> 'a1
    8991
    9092val errorMessage_rect_Type3 :
     
    9597  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    9698  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    97   errorMessage -> 'a1
     99  'a1 -> 'a1 -> errorMessage -> 'a1
    98100
    99101val errorMessage_rect_Type2 :
     
    104106  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    105107  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    106   errorMessage -> 'a1
     108  'a1 -> 'a1 -> errorMessage -> 'a1
    107109
    108110val errorMessage_rect_Type1 :
     
    113115  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    114116  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    115   errorMessage -> 'a1
     117  'a1 -> 'a1 -> errorMessage -> 'a1
    116118
    117119val errorMessage_rect_Type0 :
     
    122124  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    123125  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    124   errorMessage -> 'a1
     126  'a1 -> 'a1 -> errorMessage -> 'a1
    125127
Note: See TracChangeset for help on using the changeset viewer.