! Copyright (C) 2006, 2008 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel generic sequences prettyprint io words arrays
summary effects debugger assocs accessors inference.backend
inference.dataflow ;
IN: inference.errors

M: inference-error error-help error>> error-help ;

M: inference-error error.
    dup rstate>>
    keys [ dup value? [ value-literal ] when ] map
    dup empty? [ "Word: " write dup peek . ] unless
    swap error>> error. "Nesting: " write . ;

M: unbalanced-branches-error error.
    "Unbalanced branches:" print
    [ quots>> ] [ in>> ] [ out>> [ length ] map ] tri 3array flip
    [ [ bl ] [ pprint ] interleave nl ] each ;

M: literal-expected summary
    drop "Literal value expected" ;

M: too-many->r summary
    drop
    "Quotation pushes elements on retain stack without popping them" ;

M: too-many-r> summary
    drop
    "Quotation pops retain stack elements which it did not push" ;

M: cannot-infer-effect error.
    "Unable to infer stack effect of " write word>> . ;

M: missing-effect error.
    "The word " write
    word>> pprint
    " must declare a stack effect" print ;

M: effect-error error.
    "Stack effects of the word " write
    [ word>> pprint " do not match." print ]
    [ "Inferred: " write inferred>> effect>string . ]
    [ "Declared: " write declared>> effect>string . ] tri ;

M: recursive-quotation-error error.
    "The quotation " write
    quot>> pprint
    " calls itself." print
    "Stack effect inference is undecidable when quotation-level recursion is permitted." print ;

M: cannot-unify-specials summary
    drop
    "Cannot unify branches with inconsistent special values" ;