suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Mirror of http://offog.org/git/tock.git . Tock (translator from occam to C from Kent) is a Haskell-based compiler for occam and related languages.
292 Commits 1 Branch 2 Tags 31 MiB
Haskell 91.5%
C 3.4%
TeX 2.7%
Logos 0.7%
Makefile 0.6%
Other 1.1%
0a0110d122
Go to file
Neil Brown 0a0110d122 Added warning about unused binds to the compiler options 
I have added my favourite compiler option "-fwarn-unused-binds" to the Makefile.  I've then changed GenerateCPPCSP to have one explicit export, and the
combination of the two would spot any future mistakes like not including the genAlt function in then GenOps structure (see previous patch).  This 
new warning option already spots one problem with GenerateC, and I have a feeling it will also be useful in future.
2007-08-06 20:33:48 +00:00
testcases Protocol test case expanded 2007-07-26 21:17:27 +00:00
AST.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
CompState.hs Added backend-selecting command-line options 2007-07-26 21:18:27 +00:00
Errors.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
EvalConstants.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
EvalLiterals.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
GenerateC.hs Make it possible to inherit operations from GenerateC in other backends. 2007-08-01 22:42:00 +00:00
GenerateCPPCSP.hs Added warning about unused binds to the compiler options 2007-08-06 20:33:48 +00:00
Indentation.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
Intrinsics.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
kroc-wrapper-c.c Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
kroc-wrapper.occ Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
LANGUAGE Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
Main.hs Added backend-selecting command-line options 2007-07-26 21:18:27 +00:00
Makefile Added warning about unused binds to the compiler options 2007-08-06 20:33:48 +00:00
Metadata.hs Rain: Parser and Parser-Test framework 2007-07-27 15:11:52 +00:00
Parse.hs Minor Haddock-related fixes 2007-07-25 14:00:48 +00:00
Pass.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
PrettyShow.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
RainParse.hs Rain: Parser and Parser-Test framework 2007-07-27 15:11:52 +00:00
RainParseTest.hs Rain: Parser and Parser-Test framework 2007-07-27 15:11:52 +00:00
SimplifyExprs.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
SimplifyProcs.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
SimplifyTypes.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
SYNTAX Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
TLP.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
tock_support_cppcsp.h Fixed a bug that stopped arrays with a single dimension (that was also unknown) from having their sizes calculated in tockArrayView. cgtest09 now all passes 2007-07-31 22:04:31 +00:00
tock_support.h C++CSP Backend Added 2007-07-26 21:11:01 +00:00
TODO Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
Types.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
Unnest.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
Utils.hs Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00