Commit 2dd00f31 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-08-22 09:58:49 by simonpj]

add strictness test
parent 01a7e862
include ($confdir ++ "/../vanilla-test.T")
-- Args to vt are: extra compile flags
-- extra run flags
-- expected process return value, if not zero
test "strun001" { vtr("", "", "") }
-- Made the new demand analyser enter an absent arg
-- Reason: it thought 'a' was unused in g.
module Main where
-- Strictness: SS(AL) -> T
f True p@(x,y) = (p,y)
f False p@(x,y) = f y p
-- Easy to get the wrong strictness,
-- by thinking 'a' is absent
g True a b = f False (a,b)
g False a b = g b a b
main = print (g True 'a' True)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment