Hugs only: disable unused process primitives
authorRoss Paterson <ross@soi.city.ac.uk>
Sun, 13 Aug 2006 18:44:35 +0000 (18:44 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Sun, 13 Aug 2006 18:44:35 +0000 (18:44 +0000)
commit5815754f1e975fcba2e927ee92174db04d814722
treecd7c80fa0f95e67f5074cee52dd862d7b2dfc17d
parentf88611fc62d1cc0e36d1be78c64ad66198c63a4c
Hugs only: disable unused process primitives

These were the cause of Hugs bug #30, I think, and weren't used by Hugs anyway.
System/Process/Internals.hs