From: Taylor R Campbell Date: Sat, 8 Dec 2018 05:48:43 +0000 (+0000) Subject: Add trivial compiler test with floating-point literals. X-Git-Tag: mit-scheme-pucked-10.1.9~3^2~35^2~60 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=bce10f6f21a953c9256973052de8b17fd4e1fb8a;p=mit-scheme.git Add trivial compiler test with floating-point literals. --- diff --git a/tests/check.scm b/tests/check.scm index 05bfb54d3..f843c729d 100644 --- a/tests/check.scm +++ b/tests/check.scm @@ -41,6 +41,7 @@ USA. (define known-tests '( "compiler/test-fgopt-conect" + "compiler/test-toplev" "compiler/test-varname" "microcode/test-chacha" ;++ Kludge to run the flonum cast tests interpreted and compiled -- diff --git a/tests/compiler/test-toplev.scm b/tests/compiler/test-toplev.scm new file mode 100644 index 000000000..4a047a9a8 --- /dev/null +++ b/tests/compiler/test-toplev.scm @@ -0,0 +1,44 @@ +#| -*-Scheme-*- + +Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, + 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, + 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, + 2017, 2018 Massachusetts Institute of Technology + +This file is part of MIT/GNU Scheme. + +MIT/GNU Scheme is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 of the License, or (at +your option) any later version. + +MIT/GNU Scheme is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +General Public License for more details. + +You should have received a copy of the GNU General Public License +along with MIT/GNU Scheme; if not, write to the Free Software +Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, +USA. + +|# + +;;;; Tests for top-level entry points + +(declare (usual-integrations)) + +(define test-env + (the-environment)) + +(define assert-compiled-procedure + (predicate-assertion compiled-procedure? 'compiled-procedure?)) + +(define-test 'example-with-flonum-data + (lambda () + (let* ((code '(lambda (x) (flo:+ (flo:* 2. x) 1.))) + (scode (syntax&integrate code '((usual-integrations)) test-env)) + (compiled-expression (compile-scode scode)) + (procedure (eval compiled-expression test-env))) + (assert-compiled-procedure procedure) + (assert-eqv (procedure 123.) 247.)))) \ No newline at end of file