diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-18 17:47:06 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-18 17:47:06 +0000 |
| commit | eeb08bbd4d6d6545dfdefd3a35877e0e0117c514 (patch) | |
| tree | 5ec0db9bdc097790067ef745ee1e43c534958dfe /testsuite/runtime/linearize/linearize.gfs | |
| parent | 13232a5e8125bfcb9a3c03ec0764b41500163c76 (diff) | |
added testcase for linearization with HOAS
Diffstat (limited to 'testsuite/runtime/linearize/linearize.gfs')
| -rw-r--r-- | testsuite/runtime/linearize/linearize.gfs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/runtime/linearize/linearize.gfs b/testsuite/runtime/linearize/linearize.gfs new file mode 100644 index 000000000..72af2c126 --- /dev/null +++ b/testsuite/runtime/linearize/linearize.gfs @@ -0,0 +1,3 @@ +i testsuite/runtime/linearize/TestCnc.gf + +l Exist (\x -> Even x) |