Adam Sampson
b5fd2707e2
Fix SYB package name detection for older GHC.
2010-04-10 21:11:51 +00:00
Neil Brown
424810f464
Fixed the build system to allow compilation with GHC 6.12
2010-04-10 19:41:48 +00:00
Neil Brown
b6a2ed798e
Added the option to use ImpredicativeTypes
...
They will be deprecated in future, but for now it's easier to do this than work out how to stop using them
2010-04-10 19:41:09 +00:00
Neil Brown
fe1ef8f6f5
Tidied up a use of impredicative types
2010-04-10 19:40:54 +00:00
Neil Brown
f12f0f9219
Stopped using StringConstr, which has been removed from the latest version of syb
2010-04-10 19:40:35 +00:00
Neil Brown
7b80564828
Removed all uses of rec, which seems to be a reserved word these days
2010-04-10 19:39:54 +00:00
Neil Brown
c0e2e9c401
Improved the commenting on the flow algorithm stuff and fixed a bug in the implicit mobility
2009-08-19 17:00:12 +00:00
Neil Brown
728fa5f328
Fixed up the implicit mobility to work with oak (but needs some more work to make sure normal mobility still functions)
2009-05-27 18:01:03 +00:00
Neil Brown
c92af101ef
Added a function for joining together two GraphFuncs for flow analysis
2009-05-27 13:42:46 +00:00
Neil Brown
e7412d0721
Fixed a problem where variables used in calls to intrinsic PROCs weren't being recorded properly
2009-05-27 13:42:13 +00:00
Neil Brown
0efe1c856b
Fixed various things in the implicit mobility
2009-05-22 21:58:10 +00:00
Neil Brown
677d78a229
Added a line to handle some missing cases in ShowCode
2009-05-22 21:57:17 +00:00
Neil Brown
734685d715
Fixed genOverArray to be okay with mobile arrays
2009-05-22 21:57:00 +00:00
Neil Brown
f625019aec
Added bits to the implicit mobility to stop things being used in parallel being moved
2009-05-22 17:23:05 +00:00
Neil Brown
4f0ebbc672
Added a new setToMap function to Utils
2009-05-22 17:19:28 +00:00
Neil Brown
014f83d65d
Moved the extra parameters in the compiler commands so that the source file is always the last parameter
2009-05-22 17:13:10 +00:00
Neil Brown
ed63476ad7
Fixed strings passed on the command-line for defines
2009-05-19 13:28:39 +00:00
Neil Brown
589a6380fb
Fixed a couple of problems with the implicit mobility system
2009-05-19 12:58:49 +00:00
Neil Brown
703bfe1afe
Added better error messages for problems with C types in the backend
2009-05-19 12:58:22 +00:00
Neil Brown
2c7fc86533
Fixed the processing of -D arguments on the command-line
2009-05-19 09:53:54 +00:00
Neil Brown
9ec69aa8fb
Twiddled some of the alloy documentation
2009-06-05 10:43:12 +00:00
Neil Brown
e528a144df
More changes to the cabal file
2009-06-05 10:10:24 +00:00
Neil Brown
7f5b141a35
Fixed the cabal file to work with the latest version of alloy
2009-06-05 09:56:14 +00:00
Neil Brown
111c77b3b1
Renamed the cabal file to alloy
2009-06-05 09:38:49 +00:00
Neil Brown
af1e4b6b7f
Added an EXIT intrinsic that's useful for profiling
2009-05-25 17:08:11 +00:00
Neil Brown
d98c5079ca
Cleaned up all the warnings in Tock's code (most unused modules, or unused functions)
2009-05-19 09:05:38 +00:00
Neil Brown
48e50938f7
Got the build system to use specific versions of some packages
...
Eventually we should probably do this for all packages, but we certainly need it for base on GHC 6.10 (this avoids dealing with some other things, such as base being split up), and I needed it for QuickCheck too, since something had installed the latest version.
2009-05-18 22:32:19 +00:00
Neil Brown
3d4f16341f
Made all the needed packages explicit, and added configure tests for all of them
2009-05-18 19:56:21 +00:00
Neil Brown
b70811926a
Fixed some imports that were secretly causing a haskell98 package dependency
2009-05-18 19:55:59 +00:00
Neil Brown
853a52cc00
Finished the name change from Polyplate to Alloy
...
Most of this was a find-and-replace, PolyplateM -> AlloyA. But I also fixed some of the opsets and removed types that were no longer needed, and so on.
2009-05-11 15:22:58 +00:00
Neil Brown
bee000b9c7
Renamed all the Polyplate files to Alloy
2009-05-11 10:47:29 +00:00
Neil Brown
bc917e1442
Added an Applicative-based function to PolyplateM and PolyplateMRoute, which seems to work
2009-05-06 13:02:51 +00:00
Neil Brown
44eabe4baa
Reworked Polyplate to have a simpler way of expressing opsets, and also simplified PolyplateM and PolyplateMRoute
2009-05-06 11:32:19 +00:00
Neil Brown
efa5c57fd0
Changed Polyplate to use a different system of ops-sets, that's looking quite nice
2009-05-05 17:48:20 +00:00
Neil Brown
aaa3ffe3f3
Fixed some of the clean rules (again?)
2009-05-05 17:47:59 +00:00
Neil Brown
7f702aaca2
Fixed a few tocktest compilation failures
2009-04-21 12:25:04 +00:00
Neil Brown
f4eea82bb7
Fixed a bug where C. externals were turned into blocking calls, and B. externals were turned into normal external calls
...
This turned out to be the reason for the slowness in parrot_attack.
2009-04-19 23:09:18 +00:00
Neil Brown
fcacdd3235
Turned csCurrentFile into a monad transformer variable, and added csCompilationHash to help in uniquifying names between files
2009-04-19 19:36:38 +00:00
Neil Brown
d29b5b67cf
Got the tests compiling again after the changes to the AST for extended rendezvous
2009-04-19 17:34:36 +00:00
Neil Brown
d3f4bd587e
Fixed the type-inference to work again with input from timers
2009-04-19 17:35:35 +00:00
Neil Brown
13ce688271
Fixed the parser again for extended rendezvous
2009-04-19 17:29:43 +00:00
Neil Brown
cb4250b1b2
Implemented the SETAFF intrinsic
2009-04-19 17:29:20 +00:00
Neil Brown
b0ea943c72
Fixed the creation of the header define when there are characters such as dashes in the file name
2009-04-19 17:01:35 +00:00
Neil Brown
a48be18109
Fixed the parser on normal ALT guards, after the extended rendezvous change broke it
2009-04-19 17:01:11 +00:00
Neil Brown
838de8a366
Corrected various test failures in the C backend
2009-04-19 15:01:00 +00:00
Neil Brown
46f2fcd669
Allowed VAL and INITIAL abbreviations to define multiple names on one line
...
button.occ in the KRoC sources does this, so I'm guessing it should be legal.
2009-04-19 16:28:14 +00:00
Neil Brown
3a5565471f
Added support for extended rendezvous throughout the compiler
2009-04-19 16:26:37 +00:00
Neil Brown
41cf599ebe
Fixed non-top-level records in the C backend
2009-04-19 13:22:24 +00:00
Neil Brown
40e0399e4c
A whole lot of changes, described in #101 that help with records and separate compilation
...
The scheme may be strange, but a lot of KRoC compiles with it (and I think the cgtests will compile again now too)
2009-04-18 21:35:26 +00:00
Neil Brown
56e9609148
Fixed CHAN TYPE stuff not working properly in ShowCode
2009-04-18 21:34:14 +00:00
