Changeset 2826


Ignore:
Timestamp:
Mar 8, 2013, 9:07:10 PM (7 years ago)
Author:
sacerdot
Message:

New error messages.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/error.ml

    r2798 r2826  
    7171| TerminatedEarly -> "TerminatedEarly"
    7272| RepeatedCostLabel -> "RepeatedCostLabel"
    73 |BadCostLabelling -> "BadCostLabelling"
     73| BadCostLabelling -> "BadCostLabelling"
     74| FunctionNotFound -> "FunctionNotFound"
     75| FrameErrorOnPop -> "FrameErrorOnPop"
     76| FrameErrorOnPush -> "FrameErrorOnPush"
     77| BlockInFramesCorrupted -> "BlockInFramesCorrupted"
     78| FramesEmptyOnPop -> "FramesEmptyOnPop"
     79| RepeatedCostLabel0 -> "RepeatedCostLabel0"
     80
     81
    7482
    7583let rec conv_list l =
Note: See TracChangeset for help on using the changeset viewer.