Poly/ML May 2002

polyml@lists.polyml.org

3 participants
2 discussions

PolyML on cygwin?
by Tomas.Juknevicius＠nomagic.com 20 May '02

20 May '02

Hello guys/girls, I'm new to this list, also new to polyML :). I have a question: i'm trying to launch the linux version of polyml on CygWin (under win2000) with little success. The executable 'poly' just answers with: ./poly: 1: Syntax error: "(" unexpected when trying to launch it ... Maybe someone knows the solution or has encountered similar situation? PS why i'm trying the linux version on cygwin under win200 and not polyml for win32? Well, actualy, i'm trying to launch the Isabelle system, (which uses polyML) and it has no win32 version. So i'm stuck with Isabelle on cygwin. When I tried to couple Isabelle/cygwin with win32 version of polyML, win32 executable of polyML could not crunch linux style file paths, supplied by Isabelle under cygwin. Hence i'm stuck with the only combination left - run both Isabelle & linux version of polyML under cygwin. Unfortunately, when linux version of polyML is launched under cygwin, it just seems to complain '1: Syntax error: "(" unexpected'. This output apears no matter what parameters i supply for the poly executable :( -- Tomas Juknevicius

2 1

stack trace
by frittinger＠acm.org 14 May '02

14 May '02

Hello, I'm new to PolyML and have some questions concerning debugging and erro= r messages. The function PolyML.exception_trace prints a number behind each functio= n name in the stack trace. Could someone please tell me what this number indicat= es? Is there a way to get the line number of the input file (like njml does= ) where a Match exception is thrown? Thanks in advance, Frank ***********************************************************************= Frank Rittinger Albert-Ludwigs Universit=E4t Freiburg, Institut f=FCr Informatik Georges-Koehler-Allee, Geb. 52 (Room 00-021), 79110 Freiburg, Germany Phone: +49 761 203 8245 Fax: +49 761 203 8242 URL: http://www.informatik.uni-freiburg.de/~rittinge ***********************************************************************=

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML May 2002