Changes in / [df56e25:d96f7c4]

Files:

• doc/theses/fangren_yu_MMath/intro.tex (modified) (1 diff)
• src/AST/Expr.cpp (modified) (1 diff)

doc/theses/fangren_yu_MMath/intro.tex

@@ -518 +518 @@
 
 \begin{enumerate}
-\item The \CFA compiler performance and capability have been greatly improved through recent development. The compilation time of various \CFA library units and test programs have been reduced from the order of minutes down to 10-20 seconds, which made it possible to develop and test more complicated \CFA programs that utilize sophisticated type system features. The details of compiler optimization work are covered in a previous technical report.
-\item The thesis presents a systematic review of the new features that have been added to the \CFA language and its type system. Some of the more recent inclusions to \CFA such as tuples and generic structure types were not well tested when they were being developed, due to the limitation of compiler performance. Several issues coming from the interactions of various language features are identified and discussed in this thesis; some of them are now fully resolved, while others are given temporary fixes and need to be reworked in the future.
-\item Finally, this thesis provides constructive ideas of fixing the outstanding issues in \CFA language design and implementation, and gives a path for future improvements to \CFA language and compiler.
+\item
+\item
+\item
 \end{enumerate}
 

src/AST/Expr.cpp

@@ -122 +122 @@
 
 bool VariableExpr::get_lvalue() const {
-        // Special case for enumeration labels (more literals than variables):
+        // It isn't always an lvalue, but it is never an rvalue.
         if(dynamic_cast<const ast::EnumInstType *>(var->get_type())) return !var->isMember;
-        // The remaining uses are either actual variables (lvalues) or function
-        // names which are a special value catagory that can be treated as
-        // lvalues in the places we are worried about.
         return true;
 }