Show
Ignore:
Timestamp:
09/24/09 21:39:55 (2 months ago)
Author:
sukyoungryu
Message:

[type checker] Implemented type checking of 'try' and 'throw'. Added tests.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/syntax_abstraction_tests/Regex.fss

    r4130 r4204  
    2828        (* 
    2929        opr =(self,s:String):Boolean = match(self.raw(),s) 
     30        opr =(self,r:Regexp):Boolean = self SEQV r 
    3031        *) 
    31         opr =(self,r:Regexp):Boolean = self SEQV r 
     32        opr =(self,r:Regexp):Boolean = 
     33          BIG AND [(x,y)<-self.elements.zip[\Element\](r.elements)] (x.asString = y.asString) 
    3234        opr CONTAINS(self,s:String):Boolean = match(self.raw(),s) 
    3335        opr IN(s:String,self):Boolean = match(self.raw(),s)