artemohanjanyan/university

Single repository for university projects

university's Issues

Add support for Content-Length

Normalization doesn't work

$ normalize
(\a.\x.a) x
\x'.x
$ normalize
(\a.\x.\x.a) x
normalize: src/Simple/Reduction.hs:82:5-70: Irrefutable pattern failed for pattern Right newExpr

At first sight the problem is in rename' function:

rename' act dict (Lambda var expr)
        | Map.member var dict = Lambda newVar $ rename' (Map.insert var newVar act) (Map.delete var dict) expr
        | Map.member var act  = Lambda var    $ rename' (Map.delete var act)        dict                  expr
        | otherwise           = Lambda var    $ rename' act                         dict                  expr

Seems, you should not delete bound variable from dict, or should replace it with actual value on second stage of the pattern matching above.

tt:hw2

Fix crash on \x . x x

C++ TODO

• Add epoll pointer to epoll_registration and default on_close.

Proxy

• Add registration to epoll_registration constructor (or maybe not?).
• Add on_connected helper function.
• eventfd
• resolver
• timer