Show
Ignore:
Timestamp:
03/14/09 12:26:28 (9 months ago)
Author:
sukyoungryu
Message:

[copyright] Fixed the copyright notices.

Location:
trunk/ProjectFortress/not_passing_yet
Files:
53 modified

Legend:

Unmodified
Added
Removed
  • trunk/ProjectFortress/not_passing_yet/CrossOverloaded.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
     
    1515    trademarks of Sun Microsystems, Inc. in the U.S. and other countries. 
    1616 ******************************************************************************) 
    17   
     17 
    1818component CrossOverloaded 
    1919import OverloadsA.{...} 
     
    2222 
    2323  run(): () = () 
    24    
     24 
    2525  blah(a:ZZ32, b:ZZ32): () = do 
    2626    ignore(a * false) 
  • trunk/ProjectFortress/not_passing_yet/Expr.Array.Pasting.fss

    r3546 r3550  
    11(** COPYRIGHT **) 
    22(******************************************************************************* 
    3     Copyright 2007 Sun Microsystems, Inc., 
     3    Copyright 2009 Sun Microsystems, Inc., 
    44    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    55    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/FunctionalMethodLookup.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/GenericOverload4.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/HatOps.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/HiLoInference.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
     
    5050  f(ou, h) 
    5151  f(ou, i) 
    52    
     52 
    5353  f(ov, g) 
    5454  f(ov, h) 
  • trunk/ProjectFortress/not_passing_yet/ImportLocalCollision.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/MyIdentity.fss

    r3546 r3550  
    11(** COPYRIGHT **) 
    22(******************************************************************************* 
    3     Copyright 2008 Sun Microsystems, Inc., 
     3    Copyright 2009 Sun Microsystems, Inc., 
    44    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    55    All rights reserved. 
     
    1919 
    2020(* 
    21 If you fix this, please uncomment the changes in  
     21If you fix this, please uncomment the changes in 
    2222SpecData/examples/basic/StatParam.Opr.MyIdentity.fss 
    2323 
  • trunk/ProjectFortress/not_passing_yet/ParametricTree.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/ParametricTree0.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/SimpleTrait.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/SymbolicOverloadBug.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/TestImportExport.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/UnitExpr.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/WhereConstraints.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXReferenceToMissingGenericFunction.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
     
    2424     "Hello, World!" 
    2525  end 
    26    
     26 
    2727  bDefaultMethod():String = do 
    2828    "Hello, World!" 
  • trunk/ProjectFortress/not_passing_yet/XXXShadowTest1.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXUseMissingExport.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXextendZZ32.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXfalseMethodVisibility.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXillegalOverloading.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXillegalShadowOfLocalFunc.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXillegalShadowing.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXoverloadTest4.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXtestTuple.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/XXXwrongArrayDim.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/arrayArgs.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/arrayComp.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/builtinPrimTest.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/comprehensions.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/conditionalExtension.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/contraTest.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/contraUnification.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/desugarBug0.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/dimensionUnit.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/extendsParam.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/falseMethodVisibility.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/getterUsedNotApplied.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/hasTypeObject.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/keywords.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/knuth.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/localGeneric.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
     
    2424 
    2525   If the result type signature for f is uncommented, we obtain 
    26  @"not_passing_yet/localGeneric.fss",31:32~33:  
     26 @"not_passing_yet/localGeneric.fss",31:32~33: 
    2727 @"not_passing_yet/localGeneric.fss",31:32~33: Missing type n 
    2828*) 
  • trunk/ProjectFortress/not_passing_yet/monoidalPolymorphism.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/overloadedLocalFunctions.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/singletonArray.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2007 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/staticArg.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/staticParamNotFound.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/testDupInit/testDupInit.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/testImport.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/testMethodInference.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/toplevelArray.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/tree.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 
  • trunk/ProjectFortress/not_passing_yet/typeCheckErrorForAbsFldRef.fss

    r3546 r3550  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved.