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.
1,465 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%
cfc5b18e3e
Go to file
Adam Sampson cfc5b18e3e Don't show the state when a pass unexpectedly succeeds. 
This used not to be a problem, but there's now quite a lot of stuff predefined
in the state when testing the typechecker, so it tends to obscure the real
error...
2008-03-20 23:56:13 +00:00
backends Added a Concat operator for lists, and added support for it (and list assignment) to the backends 2008-03-21 19:20:15 +00:00
checks Revamped the ShowCode module, transforming it to use the writer monad 2008-03-20 16:20:14 +00:00
common Don't show the state when a pass unexpectedly succeeds. 2008-03-20 23:56:13 +00:00
data Added a Concat operator for lists, and added support for it (and list assignment) to the backends 2008-03-21 19:20:15 +00:00
docextra Clean up the documentation hack a bit. 2008-02-28 14:43:53 +00:00
flow Wrap QuickCheck tests into HUnit tests. 2008-03-12 19:38:02 +00:00
frontends Added support for giving ranges an explicit type in Rain 2008-03-21 21:10:47 +00:00
pass Fixed array constructors by adding an occam pass to figure out their type early on, and also corrected the ordering of the later passes 2008-03-21 18:23:42 +00:00
support Added a Concat operator for lists, and added support for it (and list assignment) to the backends 2008-03-21 19:20:15 +00:00
testcases Added support for list literals to the Rain parser 2008-03-21 20:03:47 +00:00
transformations Corrected transformConstr0 2008-03-21 20:02:33 +00:00
AUTHORS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
cgtests.mk Changed the cgtests to no longer use a custom garbage collector 2008-03-10 17:23:37 +00:00
ChangeLog Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
compile-cgtests Added rules for getting and making the cgtests to the new Automake make system 2007-10-09 00:44:41 +00:00
configure.ac Added a check for C++CSP2 using pkg-config 2008-03-17 17:36:48 +00:00
COPYING Add licensing information. 2007-08-18 20:42:11 +00:00
COPYING.LIB Add licensing information. 2007-08-18 20:42:11 +00:00
GenOrdAST.hs Added a case for the top-level AST to OrdAST 2008-02-05 22:36:12 +00:00
GenTagAST.hs Changed two uses of gmapQ (const undefined) to the similar glength function in the SYB library 2008-02-24 12:32:25 +00:00
LANGUAGE Implement short-form PLACE, and fix PLACE IN WORKSPACE/VECSPACE. 2008-03-17 18:47:54 +00:00
Main.hs Added the code to guess the frontend based on the file extension (.occ/.rain) 2008-03-21 14:46:28 +00:00
Makefile.am Smarter tree traversals: "Scrap Your Uniplate". 2008-03-20 16:49:24 +00:00
NEWS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
README Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +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
TestMain.hs Add a pass for folding constants in occam. 2008-03-17 15:48:43 +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

README