aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/convertDynamics.dcl3
-rw-r--r--frontend/convertDynamics.icl3
-rw-r--r--frontend/type_io.dcl3
-rw-r--r--frontend/type_io.icl3
-rw-r--r--frontend/type_io_common.dcl3
-rw-r--r--frontend/type_io_common.icl3
6 files changed, 18 insertions, 0 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl
index 835a0fd..fb35071 100644
--- a/frontend/convertDynamics.dcl
+++ b/frontend/convertDynamics.dcl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
definition module convertDynamics
import syntax, transform, convertcases
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index c14c22a..a25e048 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
implementation module convertDynamics
import syntax, transform, utilities, convertcases /* MV ... */, compilerSwitches /* ... MV */
diff --git a/frontend/type_io.dcl b/frontend/type_io.dcl
index aefe9f7..ab32647 100644
--- a/frontend/type_io.dcl
+++ b/frontend/type_io.dcl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
definition module type_io
// WARNING: It is essential to report changes in this module to martijnv@cs.kun.nl
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index d06c040..e5999d4 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
implementation module type_io
// WARNING: It is essential to report changes in this module to martijnv@cs.kun.nl
diff --git a/frontend/type_io_common.dcl b/frontend/type_io_common.dcl
index 032f9a1..32dd0d6 100644
--- a/frontend/type_io_common.dcl
+++ b/frontend/type_io_common.dcl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
definition module type_io_common
from StdChar import toChar
diff --git a/frontend/type_io_common.icl b/frontend/type_io_common.icl
index 1782b95..78fed1a 100644
--- a/frontend/type_io_common.icl
+++ b/frontend/type_io_common.icl
@@ -1,3 +1,6 @@
+/*
+ module owner: Martijn Vervoort
+*/
implementation module type_io_common
// common between compiler and static linker