Changes between Version 50 and Version 51 of Ticket #4138


Ignore:
Timestamp:
2017-09-18T12:34:53Z (7 years ago)
Author:
Adrian Pop
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4138 – Description

    v50 v51  
    4848   Quite a lot of typing is already implemented, but it needs to be expanded to handle all kinds of expressions and so on.
    4949
    50  Type Checking (Mahder, Peter) 60%::
     50 Type Checking (Mahder, Peter, Per) 65%::
    5151   Some parts of the type checking module from the "old new frontend" is being used to type check binary expressions at the moment. Everything in NFTypeCheck that's not used is commented out since some of it doesn't compile any more. We need to investigate if more of the old code can be reused, and implement missing/nonreusable parts.
    5252