aboutsummaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--Heap.dcl615logplainblame
-rw-r--r--Heap.icl2726logplainblame
-rw-r--r--StdCompare.dcl557logplainblame
-rw-r--r--StdCompare.icl6682logplainblame
-rw-r--r--_aconcat.dcl930logplainblame
-rw-r--r--_aconcat.icl939logplainblame
-rw-r--r--analtypes.dcl178logplainblame
-rw-r--r--analtypes.icl30043logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl31418logplainblame
-rw-r--r--cheat.dcl67logplainblame
-rw-r--r--cheat.icl184logplainblame
-rw-r--r--check.dcl1220logplainblame
-rw-r--r--check.icl167881logplainblame
-rw-r--r--checkFunctionBodies.dcl714logplainblame
-rw-r--r--checkFunctionBodies.icl137238logplainblame
-rw-r--r--checkKindCorrectness.dcl294logplainblame
-rw-r--r--checkKindCorrectness.icl15180logplainblame
-rw-r--r--checksupport.dcl6479logplainblame
-rw-r--r--checksupport.icl25689logplainblame
-rw-r--r--checktypes.dcl2334logplainblame
-rw-r--r--checktypes.icl90213logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl524logplainblame
-rw-r--r--comparedefimp.icl39065logplainblame
-rw-r--r--compilerSwitches.dcl638logplainblame
-rw-r--r--compilerSwitches.icl642logplainblame
-rw-r--r--containers.dcl1763logplainblame
-rw-r--r--containers.icl10528logplainblame
-rw-r--r--convertDynamics.dcl956logplainblame
-rw-r--r--convertDynamics.icl62208logplainblame
-rw-r--r--convertcases.dcl1035logplainblame
-rw-r--r--convertcases.icl84935logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8661logplainblame
-rw-r--r--explicitimports.dcl1108logplainblame
-rw-r--r--explicitimports.icl39995logplainblame
-rw-r--r--frontend.dcl947logplainblame
-rw-r--r--frontend.icl20653logplainblame
-rw-r--r--general.dcl577logplainblame
-rw-r--r--general.icl1609logplainblame
-rw-r--r--generics.dcl506logplainblame
-rw-r--r--generics.icl151414logplainblame
-rw-r--r--hashtable.dcl755logplainblame
-rw-r--r--hashtable.icl9199logplainblame
-rw-r--r--main.icl14833logplainblame
-rw-r--r--mergecases.dcl245logplainblame
-rw-r--r--mergecases.icl17290logplainblame
-rw-r--r--overloading.dcl1980logplainblame
-rw-r--r--overloading.icl91637logplainblame
-rw-r--r--parse.dcl360logplainblame
-rw-r--r--parse.icl148422logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl331logplainblame
-rw-r--r--postparse.icl74143logplainblame
-rw-r--r--predef.dcl3886logplainblame
-rw-r--r--predef.icl22082logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl34131logplainblame
-rw-r--r--scanner.dcl4183logplainblame
-rw-r--r--scanner.icl59975logplainblame
-rw-r--r--syntax.dcl40402logplainblame
-rw-r--r--syntax.icl67307logplainblame
-rw-r--r--trans.dcl1149logplainblame
-rw-r--r--trans.icl136513logplainblame
-rw-r--r--transform.dcl1752logplainblame
-rw-r--r--transform.icl93956logplainblame
-rw-r--r--type.dcl1225logplainblame
-rw-r--r--type.icl132322logplainblame
-rw-r--r--type_io.dcl716logplainblame
-rw-r--r--type_io.icl11894logplainblame
-rw-r--r--type_io_common.dcl1159logplainblame
-rw-r--r--type_io_common.icl1208logplainblame
-rw-r--r--typeanal.dcl27logplainblame
-rw-r--r--typeanal.icl30logplainblame
-rw-r--r--typeproperties.dcl1551logplainblame
-rw-r--r--typeproperties.icl4460logplainblame
-rw-r--r--typesupport.dcl6241logplainblame
-rw-r--r--typesupport.icl81459logplainblame
-rw-r--r--unitype.dcl2218logplainblame
-rw-r--r--unitype.icl42177logplainblame
-rw-r--r--utilities.dcl4811logplainblame
-rw-r--r--utilities.icl11565logplainblame