diff options
Diffstat (limited to 'src/algebra/fortran.spad.pamphlet')
| -rw-r--r-- | src/algebra/fortran.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet index c8d73e94..cf46d763 100644 --- a/src/algebra/fortran.spad.pamphlet +++ b/src/algebra/fortran.spad.pamphlet @@ -773,7 +773,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where checkVariables(user:List Symbol,target:List Symbol):Void == -- We don't worry about whether the user has subscripted the -- variables or not. - setDifference(map(name$Symbol,user),target) ^= empty()$List(Symbol) => + setDifference(map(name$Symbol,user),target) ~= empty()$List(Symbol) => s1 : String := mkString(user) s2 : String := mkString(target) error ["Incompatible variable lists:", s1, s2] @@ -788,7 +788,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel(EXPR MINT),"failed") case "failed" => error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR MINT := [w::EXPR(MINT) for w in vList] aeList : List EXPR MINT := [w::EXPR(MINT) for w in arguments] @@ -805,7 +805,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel(EXPR MFLOAT),"failed") case "failed" => error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR MFLOAT := [w::EXPR(MFLOAT) for w in vList] aeList : List EXPR MFLOAT := [w::EXPR(MFLOAT) for w in arguments] @@ -822,7 +822,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel EXPR MCMPLX,"failed") case "failed"=> error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR MCMPLX := [w::EXPR(MCMPLX) for w in vList] aeList : List EXPR MCMPLX := [w::EXPR(MCMPLX) for w in arguments] @@ -852,7 +852,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel(EXPR INT),"failed") case "failed" => error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR INT := [w::EXPR(INT) for w in vList] aeList : List EXPR INT := [w::EXPR(INT) for w in arguments] @@ -869,7 +869,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel(EXPR Float),"failed") case "failed" => error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR Float := [w::EXPR(Float) for w in vList] aeList : List EXPR Float := [w::EXPR(Float) for w in arguments] @@ -886,7 +886,7 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where retractIfCan(lhs u)@Union(Kernel EXPR CMPX Float,"failed") case "failed"=> error "left hand side is not a kernel" vList : List Symbol := variables lhs u - #vList ^= #arguments => + #vList ~= #arguments => error "Incorrect number of arguments" veList : List EXPR CMPX Float := [w::EXPR(CMPX Float) for w in vList] aeList : List EXPR CMPX Float := [w::EXPR(CMPX Float) for w in arguments] |