Commit 9d5e9164 authored by sof's avatar sof
Browse files

[project @ 1999-01-15 10:49:05 by sof]

Minor syntactic h98 updates
parent 60d5b77f
--!!! ds001 -- simple function and pattern bindings
-- !!! ds001 -- simple function and pattern bindings
--
-- this tests ultra-simple function and pattern bindings (no patterns)
......
--!!! ds002 -- overlapping equations and guards
-- !!! ds002 -- overlapping equations and guards
--
-- this tests "overlapping" variables and guards
......
--!!! ds003 -- list, tuple, lazy, as patterns
-- !!! ds003 -- list, tuple, lazy, as patterns
--
module Test where
......
--!!! ds004 -- nodups from SLPJ p 79
-- !!! ds004 -- nodups from SLPJ p 79
--
module Test where
......
--!!! ds005 -- mappairs from SLPJ Ch 5'
-- !!! ds005 -- mappairs from SLPJ Ch 5'
--
-- this simply tests a "typical" example
......
--!!! ds006 -- v | True = v+1 | False = v (dead code elim)
-- !!! ds006 -- v | True = v+1 | False = v (dead code elim)
--
module Test where
......
--!!! ds007 -- simple local bindings
-- !!! ds007 -- simple local bindings
module ShouldSucceed where
......
--!!! ds008 -- free tyvars on RHSs
-- !!! ds008 -- free tyvars on RHSs
--
-- these tests involve way-cool TyApps
......
--!!! ds009 -- simple list comprehensions
-- !!! ds009 -- simple list comprehensions
module SimpleListComp where
......
--!!! ds010 -- deeply-nested list comprehensions
-- !!! ds010 -- deeply-nested list comprehensions
module Test where
......
--!!! ds011 -- uses of "error"
-- !!! ds011 -- uses of "error"
module Tests where
......
--!!! ds012 -- simple Integer arithmetic
-- !!! ds012 -- simple Integer arithmetic
--
module Tests where
......
--!!! ds013 -- simple Rational arithmetic
-- !!! ds013 -- simple Rational arithmetic
module Tests where
......
--!!! ds014 -- character and string literals
--!!! really should add ALL weird forms...
-- !!! ds014 -- character and string literals
-- !!! really should add ALL weird forms...
module Tests where
......
--!!! ds015 -- lambdas
-- !!! ds015 -- lambdas
--
module Tests where
......
--!!! ds016 -- case expressions
-- !!! ds016 -- case expressions
--
module Tests where
......
--!!! ds017 -- let expressions
-- !!! ds017 -- let expressions
--
module Tests where
......
--!!! ds018 -- explicit lists and tuples
-- !!! ds018 -- explicit lists and tuples
--
module Tests where
......
--!!! ds019 -- mixed var and uni-constructor pats
-- !!! ds019 -- mixed var and uni-constructor pats
module Test where
......
--!!! ds020 -- lazy patterns (in detail)
-- !!! ds020 -- lazy patterns (in detail)
--
module Test where
......
Markdown is supported
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