Poly/ML October 2011

polyml@lists.polyml.org

7 participants
8 discussions

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

Re: [quantomatic] Poly/ML Package for Sublime Text 2
by aleks0＠gmail.com 13 Oct '11

13 Oct '11

Oops! Poly path was still hard-coded. Added a setting 'poly_bin' in File Settings for setting up a custom path. Pull the latest version of the package, then go to "Sublime Text 2 > Preferences > File Settings - User", and add a line like this to the JSON: "poly_bin": "/usr/local/bin/poly", On 13 October 2011 06:30, Lucas Dixon <lucas.dixon(a)gmail.com> wrote: > Looks like a nice editor! > > I had a go at running build on the Quantomatic ROOT.ML file, I got > this error output (and an endless compiling ROOT.ML [ = ? ] thing), > the error in the console is: > > startup, version: 2126 osx x64 channel: stable > executable: /Applications/Sublime Text 2.app/Contents/MacOS/Sublime Text 2 > working dir: / > packages path: /Users/ldixon/Library/Application Support/Sublime Text 2/Packages > settings path: /Users/ldixon/Library/Application Support/Sublime Text 2/Settings > package /Applications/Sublime Text 2.app/Contents/MacOS/Pristine > Packages/ActionScript.sublime-package is newer than the installed > version (/Users/ldixon/Library/Application Support/Sublime Text > 2/Pristine Packages/ActionScript.sublime-package), running > PackageSetup > error parsing session: No data at: 0:0 > PackageSetup returned: -1 > catalogue loaded > found 3 files for base name Default.sublime-keymap > found 1 files for base name Default.sublime-mousemap > found 1 files for base name Main.sublime-menu > Generating syntax summary > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/comment.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/copy_path.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/delete_word.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/detect_indentation.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/duplicate_line.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/echo.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/exec.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/fold.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/font.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/goto_line.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/indentation.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/kill_ring.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/mark.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/new_templates.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/open_file_settings.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/paragraph.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/save_on_focus_lost.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/scroll.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/side_bar.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/sort.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/swap_line.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/switch_file.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/transform.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/transpose.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Default/trim_trailing_white_space.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/Diff/diff.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/HTML/encode_html_entities.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/HTML/html_completions.py > Reloading plugin /Users/ldixon/Library/Application Support/Sublime > Text 2/Packages/PolyML/run_poly.py > loading bindings > loading pointer bindings > found 1 files for base name Default.sublime-theme > theme loaded > app ready > pre session restore time: 4.33111 > startup time: 4.47067 > loaded 937 snippets > Traceback (most recent call last): > ?File "./sublime_plugin.py", line 259, in run_ > ?File "./run_poly.py", line 131, in run > ?File "./poly/__init__.py", line 45, in compile > ?File "./poly/__init__.py", line 36, in ensure_poly_running > ?File "./poly/process.py", line 201, in __init__ > ?File "/System/Library/Frameworks/Python.framework/Versions/2.6/lib/python2.6/subprocess.py", > line 595, in __init__ > ? ?errread, errwrite) > ?File "/System/Library/Frameworks/Python.framework/Versions/2.6/lib/python2.6/subprocess.py", > line 1106, in _execute_child > ? ?raise child_exception > OSError: [Errno 2] No such file or directory > Exception AttributeError: "PolyProcess instance has no attribute > 'pipe'" in <bound method PolyProcess.__del__ of > <poly.process.PolyProcess instance at 0x115590830>> ignored > Traceback (most recent call last): > ?File "./sublime_plugin.py", line 259, in run_ > ?File "./run_poly.py", line 131, in run > ?File "./poly/__init__.py", line 45, in compile > ?File "./poly/__init__.py", line 36, in ensure_poly_running > ?File "./poly/process.py", line 201, in __init__ > ?File "/System/Library/Frameworks/Python.framework/Versions/2.6/lib/python2.6/subprocess.py", > line 595, in __init__ > ? ?errread, errwrite) > ?File "/System/Library/Frameworks/Python.framework/Versions/2.6/lib/python2.6/subprocess.py", > line 1106, in _execute_child > ? ?raise child_exception > OSError: [Errno 2] No such file or directory > > > Any suggestions? > > best, > lucas > > > On 12 October 2011 13:02, Aleks Kissinger <aleks0(a)gmail.com> wrote: >> For those interested, I've been working on a Poly/ML package for Sublime Text 2. >> >> https://github.com/akissinger/sublime-polyml >> >> Sublime Text 2 is in some ways the "moral" successor to Textmate >> (which is essentially defunct). However, unlike Textmate, it's >> available for Mac, Linux, and Windows. It will be a paid app at some >> point, but currently it is in free beta. >> >> http://www.sublimetext.com/2 >> >> I've been using the package for a couple of weeks now. It's still a >> bit on the rough side, but basic highlighting, building, and error >> reporting is working pretty well. Please let me know if you have >> issues or want to contribute. >> >> >> Aleks >> >> -- >> You received this message because you are subscribed to the Google Groups "Quantomatic" group. >> To post to this group, send email to quantomatic(a)googlegroups.com. >> To unsubscribe from this group, send email to quantomatic+unsubscribe(a)googlegroups.com. >> For more options, visit this group at http://groups.google.com/group/quantomatic?hl=en. >> >> > > -- > You received this message because you are subscribed to the Google Groups "Quantomatic" group. > To post to this group, send email to quantomatic(a)googlegroups.com. > To unsubscribe from this group, send email to quantomatic+unsubscribe(a)googlegroups.com. > For more options, visit this group at http://groups.google.com/group/quantomatic?hl=en. > >

2 1

Poly/ML Package for Sublime Text 2
by aleks0＠gmail.com 12 Oct '11

12 Oct '11

For those interested, I've been working on a Poly/ML package for Sublime Text 2. https://github.com/akissinger/sublime-polyml Sublime Text 2 is in some ways the "moral" successor to Textmate (which is essentially defunct). However, unlike Textmate, it's available for Mac, Linux, and Windows. It will be a paid app at some point, but currently it is in free beta. http://www.sublimetext.com/2 I've been using the package for a couple of weeks now. It's still a bit on the rough side, but basic highlighting, building, and error reporting is working pretty well. Please let me know if you have issues or want to contribute. Aleks

1 0

remove the very first > prompt
by supernovas.hf＠gmail.com 09 Oct '11

09 Oct '11

> Rob's suggestion of using the export should do what you want: > > PolyML.export("noprint-poly", > ?(fn () => (PolyML.print_depth 0; > ? ? ? ? ? ?PolyML.Compiler.prompt1 := ""; > ? ? ? ? ? ?PolyML.Compiler.prompt2 := ""; > ? ? ? ? ? ?PolyML.rootFunction ())) > ); > > Then you can run to make the new ml binary: > ?cc -o empty-top-level-poly noprint-poly.o -lpolymain -lpolyml Sorry, I can not reproduce this on my computer, the compiling yields: ,------------------------------------------------------------- [hf@mail ~]$ cc -o empty-top-level-poly noprint-poly.o -lpolymain -lpolyml /usr/bin/ld: cannot find -lpolymain `------------------------------------------------------------- Regards, Hong

2 2

readline library available?
by supernovas.hf＠gmail.com 06 Oct '11

06 Oct '11

Still can not disable the very first > system prompt ... :( another question: any way to support the GNU readline library under the SML system for user interaction? Best, Hong Feng

3 2

any way to turn off the Poly/ML system prompt?
by supernovas.hf＠gmail.com 04 Oct '11

04 Oct '11

Hello, I am trying to write a simple CGI program using Poly/ML. Is it possible to turn off the Poly/ML's type prompt message in the output? Best, Hong Feng

3 5

local specifications in signatures
by ramana.kumar＠gmail.com 01 Oct '11

01 Oct '11

The syntax reference here http://www.csci.csusb.edu/dick/samples/ml.syntax.html#Specification suggests that I should be able to write signature foo = sig local open CharVectorSlice in val baz : vector -> slice end end (making use of "other_spec" in the syntax reference above) But PolyML complains when it hits the "local" Poly/ML 5.4.1 Release > use"foo.sig"; Error- in 'foo.sig', line 2. end expected but local was found Am I wrong in thinking that that is a valid signature specification? Is there an official reference for the syntax of the language PolyML compiles? Do I have to keep repeating LongStructureName.type_i_want in my specifications? Or maybe it is typical to just export types liberally (because I could do type v = CharVectorSlice.vector at the top of that signature, etc.)

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 October 2011