diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:44:19 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
commit | 46ff80f26d1892e1b50e3f10c5d3fded33da6e81 (patch) | |
tree | c53fd835b689b6b64a729a42e4cc6482d8fb5215 /testsuite/tests/profiling | |
parent | 7e7094f166b6e475a49e20b98cbca851334aedaf (diff) | |
download | haskell-46ff80f26d1892e1b50e3f10c5d3fded33da6e81.tar.gz |
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/profiling')
-rw-r--r-- | testsuite/tests/profiling/should_run/heapprof001.hs | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/profiling/should_run/heapprof001.hs b/testsuite/tests/profiling/should_run/heapprof001.hs index 67c6a17867..2e5bf192e1 100644 --- a/testsuite/tests/profiling/should_run/heapprof001.hs +++ b/testsuite/tests/profiling/should_run/heapprof001.hs @@ -5,22 +5,22 @@ Subject: a compiler test Date: 3 Mar 1992 12:31:00 GMT Will, - One of the decisions taken at the FLARE meeting yesterday was that we -(FLARE people) should send you (GRASP people) interesting Haskell programs -to test your new compiler. So allow me to present the following program, + One of the decisions taken at the FLARE meeting yesterday was that we +(FLARE people) should send you (GRASP people) interesting Haskell programs +to test your new compiler. So allow me to present the following program, written by Colin Runciman in various functional languages over the years, -which puts propositions into clausal form. The original program was +which puts propositions into clausal form. The original program was interactive, but I've made it batch so that you can run it over night. -Here is an example run with the prototype compiler. Note the result is +Here is an example run with the prototype compiler. Note the result is "a <=". - hc clausify.hs - Haskell-0.41 (EXPERIMENTAL) - Glasgow University Haskell Compiler, version 0.41 - G-Code version - -71$ a.out - a <= - -71$ + hc clausify.hs + Haskell-0.41 (EXPERIMENTAL) + Glasgow University Haskell Compiler, version 0.41 + G-Code version + -71$ a.out + a <= + -71$ Cheers, @@ -47,7 +47,7 @@ res n = concat (map clauses xs) where xs = take n (repeat "(a = a = a) = (a = a = a) = (a = a = a)") {-# NOINLINE xs #-} -data StackFrame = Ast Formula | Lex Char +data StackFrame = Ast Formula | Lex Char data Formula = Sym Char | @@ -55,7 +55,7 @@ data Formula = Dis Formula Formula | Con Formula Formula | Imp Formula Formula | - Eqv Formula Formula + Eqv Formula Formula -- separate positive and negative literals, eliminating duplicates clause p = clause' p ([] , []) |