?

Log in

No account? Create an account
Cannot justify constraints in explicitly typed binding MY ASS - MrPutter: doing things the hard way, because it is there.
November 28th, 2005
02:45 am
[User Picture]

[Link]

Previous Entry Share Next Entry
Cannot justify constraints in explicitly typed binding MY ASS
subProg :: Int -> Int -> BPLProg -> BPLProg
subProg old new (PVar x)            = PVar (subAny old new x)
subProg old new (PAppl f t)         =
    PAppl (subProg old new f) (subProg old new t)
subProg old new (PCasep t (cs, t')) =
    PCasep (subProg old new t) (cs, new_t') where
        new_t'
	    | old `elem` cs = subProg old new t'
	    | otherwise     = t'
subProg old new (PCased t cases)    =
    PCased (subProg old new t) (subCase cases) where
        subCase []          = []
	subCase ((s, cs, t):rest)
	    | old `elem` cs = (s, cs, t):(subCase rest)
	    | otherwise     = (s, cs, (subProg old new t)):(subCase rest)
subProg old new (PAbst x t)
    | x == old                      = PAbst x t
    | otherwise                     = PAbst x (subProg old new t)
subProg old new (PFix f t t')
    | f == old                      = PFix f t t'
    | otherwise                     = PFix f (subProg old new t)
                                             (subProg old new t')



17 more days!

So... what does this note mean, again?
"So... what does this note mean, again?"

Current Mood: headachey
Current Music: Soul Asylum -- Shut Down
Tags: , ,

(Leave a comment)

Beware of Road Surprises Powered by LiveJournal.com