aboutsummaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--Heap.dcl615logplainblame
-rw-r--r--Heap.icl2726logplainblame
-rw-r--r--StdCompare.dcl578logplainblame
-rw-r--r--StdCompare.icl6806logplainblame
-rw-r--r--_aconcat.dcl930logplainblame
-rw-r--r--_aconcat.icl939logplainblame
-rw-r--r--analtypes.dcl178logplainblame
-rw-r--r--analtypes.icl32513logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl31418logplainblame
-rw-r--r--cheat.dcl67logplainblame
-rw-r--r--cheat.icl184logplainblame
-rw-r--r--check.dcl1188logplainblame
-rw-r--r--check.icl170517logplainblame
-rw-r--r--checkFunctionBodies.dcl714logplainblame
-rw-r--r--checkFunctionBodies.icl155269logplainblame
-rw-r--r--checkKindCorrectness.dcl304logplainblame
-rw-r--r--checkKindCorrectness.icl14930logplainblame
-rw-r--r--checksupport.dcl6197logplainblame
-rw-r--r--checksupport.icl24756logplainblame
-rw-r--r--checktypes.dcl2334logplainblame
-rw-r--r--checktypes.icl90229logplainblame
-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.dcl607logplainblame
-rw-r--r--compilerSwitches.icl611logplainblame
-rw-r--r--containers.dcl1821logplainblame
-rw-r--r--containers.icl10853logplainblame
-rw-r--r--convertDynamics.dcl956logplainblame
-rw-r--r--convertDynamics.icl62208logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl85907logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8661logplainblame
-rw-r--r--explicitimports.dcl1108logplainblame
-rw-r--r--explicitimports.icl40263logplainblame
-rw-r--r--frontend.dcl1096logplainblame
-rw-r--r--frontend.icl21680logplainblame
-rw-r--r--general.dcl577logplainblame
-rw-r--r--general.icl1609logplainblame
-rw-r--r--generics.dcl506logplainblame
-rw-r--r--generics.icl164631logplainblame
-rw-r--r--hashtable.dcl755logplainblame
-rw-r--r--hashtable.icl9199logplainblame
-rw-r--r--main.icl14717logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24058logplainblame
-rw-r--r--overloading.dcl2073logplainblame
-rw-r--r--overloading.icl100618logplainblame
-rw-r--r--parse.dcl366logplainblame
-rw-r--r--parse.icl158619logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl337logplainblame
-rw-r--r--postparse.icl74915logplainblame
-rw-r--r--predef.dcl3962logplainblame
-rw-r--r--predef.icl22347logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl34670logplainblame
-rw-r--r--scanner.dcl4296logplainblame
-rw-r--r--scanner.icl60603logplainblame
-rw-r--r--syntax.dcl40382logplainblame
-rw-r--r--syntax.icl67223logplainblame
-rw-r--r--trans.dcl1174logplainblame
-rw-r--r--trans.icl145617logplainblame
-rw-r--r--transform.dcl1752logplainblame
-rw-r--r--transform.icl94062logplainblame
-rw-r--r--type.dcl1236logplainblame
-rw-r--r--type.icl143117logplainblame
-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.icl81504logplainblame
-rw-r--r--unitype.dcl2218logplainblame
-rw-r--r--unitype.icl42177logplainblame
-rw-r--r--utilities.dcl4811logplainblame
-rw-r--r--utilities.icl11565logplainblame