Karthik Senthil     About     Resume

[GSoC 2016] Refactoring of expressions

Hello all!

I spent the last few days working on refactoring the old expressions.rb (in ruby runtime environment) into a revamped CT_Expressions module. This solves the issue of namespaces thus giving flexibility to names being used in the Curry programs. The entire module is divided into 4 files - expression class definitions, expression printing, expression equality and expression utilities. We tested this new module on all the existing test cases.

After this refactoring I moved ahead to implement the equality operation algorithm in CT_External which has also been completed now.

I am now working on the Prelude compare operation based on this algorithm.