Skip to content

Commit

Permalink
updating the copyright statements (plus harmonizing)
Browse files Browse the repository at this point in the history
  • Loading branch information
Dierk Koenig committed Jun 16, 2020
1 parent 1029a1c commit 06bdbec
Show file tree
Hide file tree
Showing 51 changed files with 61 additions and 64 deletions.
2 changes: 1 addition & 1 deletion LICENSE.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ licenses are BSD-style or compatible.

The Frege License

Copyright © 2011-2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.

Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -300,7 +300,7 @@ API Docs
Copyright and License
---------------------

Copyright (c) Ingo Wechsung, 2011-2016. All rights reserved.
Copyright (c) Ingo Wechsung, 2011-2020. All rights reserved.
The use and distribution terms for this software are covered by the
[BSD 3-clause license](http://opensource.org/licenses/BSD-3-Clause)
which can be found in the file LICENSE.txt at the root of this distribution.
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/Classes.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/Classtools.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/GenMeta.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/Javatypes.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
3 changes: 1 addition & 2 deletions frege/compiler/Kinds.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -440,4 +440,3 @@ rhoTCons set (rho@RhoTau{}) = tauTCons set rho.tau
tauTCons set (TCon{name}) = set `including` name
tauTCons set (TApp a b) = tauTCons (tauTCons set a) b
tauTCons set _ = set

4 changes: 2 additions & 2 deletions frege/compiler/Main.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down Expand Up @@ -990,4 +990,4 @@ compileMe tree g reason = do
then return undefined
else return undefined
return Aborted{because="not complete yet"}
-}
-}
2 changes: 1 addition & 1 deletion frege/compiler/Typecheck.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/common/Annotate.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/common/Desugar.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/grammar/Frege.fr
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
--begin top
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/grammar/Frege.y
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
%{
{-

Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.

Redistribution and use in source and binary forms, with or
Expand Down
4 changes: 2 additions & 2 deletions frege/compiler/grammar/Lexer.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -629,4 +629,4 @@ main [fileortext] = do
-- let r = evalState (passCS (string2cs fdata))
println (lexer (string2cs fdata) )
return ()
main xs = main [joined "\n" xs]
main xs = main [joined "\n" xs]
2 changes: 1 addition & 1 deletion frege/compiler/passes/Imp.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/passes/Transdef.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
4 changes: 2 additions & 2 deletions frege/compiler/tc/Methods.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -500,4 +500,4 @@ checkException g t = filter (not . U.isThrowable g) (collect t)
where
collect t = case isEither t of
Just (left, right) -> right : collect left
_ -> [t]
_ -> [t]
2 changes: 1 addition & 1 deletion frege/compiler/tc/Util.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/compiler/types/Positions.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
3 changes: 1 addition & 2 deletions frege/data/HashMap.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -1069,4 +1069,3 @@ private native copyOf java.util.Arrays.copyOf{}
-}
private native arraycopy java.lang.System.arraycopy{}
∷ ArrayOf s (HashMap k v) -> Int -> ArrayOf s (HashMap k v) -> Int -> Int -> ST s ()

2 changes: 1 addition & 1 deletion frege/data/List.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/data/Maybe.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/data/TreeMap.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/java/Awt.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/java/Lang.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
3 changes: 1 addition & 2 deletions frege/java/Swing.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -169,4 +169,3 @@ data JTextField = native javax.swing.JTextField where
data GroupLayout = native javax.swing.GroupLayout where
native new :: MutableIO Container -> IOMutable GroupLayout
native setHorizontalGroup :: MutableIO GroupLayout -> MutableIO Group -> IO ()

2 changes: 1 addition & 1 deletion frege/java/lang/Reflect.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/lib/ForkJoin.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
*
All rights reserved.
*
Expand Down
4 changes: 2 additions & 2 deletions frege/prelude/Maybe.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down Expand Up @@ -124,4 +124,4 @@ listToMaybe xs = listToMaybe xs.toList where -- reexported from frege.prelu

--- convert a 'Maybe' to a single element list or an empty list
maybeToList :: Maybe a -> [a]
maybeToList = toList
maybeToList = toList
2 changes: 1 addition & 1 deletion frege/prelude/PreludeBase.fr
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- Making the license a package comment causes it to be part of every
-- runnable frege code.
{--
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
4 changes: 2 additions & 2 deletions frege/prelude/PreludeIO.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down Expand Up @@ -397,4 +397,4 @@ type IORef a = MutableIO (Ref a)
readIORef = Ref.get
writeIORef = Ref.put
modifyIORef = Ref.modify
newIORef = Ref.new
newIORef = Ref.new
2 changes: 1 addition & 1 deletion frege/prelude/PreludeList.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/prelude/PreludeMonad.fr
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/run/RunTM.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
*/

/*
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Expand Down
2 changes: 1 addition & 1 deletion frege/run7/Thunk.java
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/run8/Thunk.java
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/runtime/Array.java
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
/* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
4 changes: 2 additions & 2 deletions frege/runtime/Meta.java
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
/* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down Expand Up @@ -361,4 +361,4 @@ public class Meta {
*/
String[] jnames() default {};
}
}
}
2 changes: 1 addition & 1 deletion frege/runtime/Ref.java
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
/* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/runtime/Runtime.java
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/runtime/Value.java
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/tools/Doc.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
2 changes: 1 addition & 1 deletion frege/tools/YYgen.fr
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»
Copyright © 2011 - 2015, Ingo Wechsung
Copyright © 2011 - 2020, Ingo Wechsung
All rights reserved.
Redistribution and use in source and binary forms, with or
Expand Down
Loading

0 comments on commit 06bdbec

Please sign in to comment.