man hugs (Commandes) - Hugs 98, functional programming system
NAME
hugs, runhugs, ffihugs - Hugs 98, functional programming system
SYNOPSIS
hugs
[
options
]
[
modules
]
runhugs
[
options
]
module
[
args
]
ffihugs
+G
[
options
]
[
+Larg
] ...
module
DESCRIPTION
Hugs is an interpreter for Haskell, a standard non-strict functional programming language. Hugs implements almost all of the Haskell 98 standard, except for mutually recursive modules. The name Hugs is a mnemonic for the Haskell User's Gofer System.
The interpreter is started using the hugs command. After processing options, it loads the standard module Prelude and any other modules listed on the command line.
Each Haskell module is stored in a separate file. When loading a module name, Hugs replaces each `.' in name with a `/' and looks in each of the directories on its search path (see -P under OPTIONS) for the files name.hs and name.lhs. (The recognized suffixes may be changed using the -S option, described under OPTIONS.) It also tries name as a literal filename. Files ending in ".lhs" are treated as literate scripts.
OPTIONS
Some options are toggled with + or - to turn them on or off, respectively.
Language conformance
- +98
- Accept only Haskell 98 (cannot be changed within Hugs; default: on). Turning this off enables several special Hugs extensions, which are described in the Hugs 98 User Manual.
- +o
- Allow overlapping instances (a Hugs extension; default: off)
- +O
- Allow unsafe overlapping instances (a Hugs extension; default: off)
- +H
- Allow `here documents' (a Hugs extension; default: off)
Module loading
- +l
- Treat files whose names end in neither `.hs' nor `.lhs' as literate scripts (default: off)
- +.
- Print dots to show progress while loading modules (default: off)
- +q
- Print nothing to show progress while loading modules (default: on)
- +w
- Always show which files are loaded (default: off)
Expression evaluation
- +s
- Print number of reductions/cells after each evaluation (default: off)
- +t
- Print type after each evaluation (default: off)
- +T
- Apply the Haskell defaulting rules before printing types (default: off)
- +g
- Print number of cells recovered after each garbage collection (default: off)
- +Q
- Qualify names when printing (default: off)
- +k
- Show kind errors in full (default: off)
- +u
- Use "show" to display results (default: on)
- +I
- Display results of IO programs (default: off)
Parameters
Other options (in which - could be replaced by +, the choice making no difference) are:
- -hnum
- Set heap size (cannot be changed within Hugs; default: 250K)
- -pstr
- Set prompt string to str (default: `%s> '). Any %s in the prompt will be replaced by the current module name.
- -rstr
- Set repeat last expression string to str (default: $$).
- -Pstr
- Set search path for source files to str, which should be a colon-separated list of directories. A null entry in this list will be replaced by the previous search path; a null str means the default path. Any occurrence of {Hugs} in this string is expanded to the Hugs library directory, namely . Similarly, {Home} is expanded to your home directory (the value of the HOME environment variable). An entry of the form `directory/*' means all the immediate subdirectories of directory. The default value is
- -Sstr
- Set the colon-separated list of source file suffixes to str (default: ). A null entry in this list will be replaced by the previous suffix list; a null str means the default list.
- -Estr
- Use editor setting given by str (default: the value of the EDITOR environment variable). Any occurrences of %d and %s in the editor option are replaced by the start line number and the name of the file to be edited, respectively. A common setting is " +%d %s".
- -cnum
- Set constraint cutoff limit in the type checker to num (default: 40).
- -Fcmd
- Set preprocessor filter for source files to cmd (unset by default). Instead of reading a source file directly, Hugs will read the standard output of cmd run with the source file name as argument.
COMMANDS
Once the interpreter has been loaded, the following commands are available:
- :load [modules]
- clear all modules except the prelude, and load the specified modules.
- :also modules
- read additional modules.
- :reload
- repeat last load command.
- :edit file
- edit file.
- :edit
- edit last file.
- :module module
- set module for evaluating expressions.
- expr
- evaluate expression.
- :type expr
- print type of expression.
- :?
- display this list of commands.
- :set options
- set command line options.
- :set
- help on command line options.
- :names [patterns]
- list names currently in scope matching any of the shell-style patterns.
- :info names
- describe named objects.
- :browse modules
- browse names exported by modules.
- :find name
- edit file containing definition of name.
- :!command
- shell escape.
- :cd dir
- change directory.
- :gc
- force garbage collection.
- :version
- print Hugs version.
- :quit
- exit Hugs interpreter.
Any command may be abbreviated to :c where c is the first character in the full name. On most systems, you can also exit from Hugs by typing the end-of-file character (^D).
Note that the interrupt key (^C on most systems) can be used at any time whilst using Hugs to abandon the process of reading in a file of function definitions or the evaluation of an expression. When the interrupt is detected, Hugs prints the string "{Interrupted!}" and prints the prompt so that further commands can be entered.
STANDALONE PROGRAMS
The runhugs command is an interpreter for an executable Hugs script, which must contain a Haskell Main module. For example, the executable file hello might contain the lines
#!/runhugs +l > module Main where > main = putStr "Hello, World\n"
When this file is executed, runhugs will invoke the main function. Any arguments given on the command line will be available through getArgs.
C INTERFACE
On architectures that support dynamic linking, Hugs implements the part of the Haskell 98 Foreign Function Interface (FFI) that allows Haskell functions to call C routines. (On the x86, PowerPC and Sparc architectures, all foreign import are supported; on others, only static imports are provided.) Modules containing such foreign declarations must be compiled using the ffihugs command with the +G option. Additional arguments for the C compiler may be supplied with +L options. For example, suppose you have some C functions in test.c and some FFI declarations for those functions in Test.hs and the code in test.c needs to be compiled with -lm. Then you would compile the module with the command
- ffihugs +G +L"test.c" +L"-lm" Test.hs
which generates an object file Test.so. Then when hugs loads Test.hs, it will also load Test.so.
ENVIRONMENT
- HUGSFLAGS
- Additional options for hugs, processed before any given on the command line.
- HUGSDIR
- The Hugs library directory (default: ).
- EDITOR
- The default editor, if -E is not given.
- SHELL
- Used to specify the shell that is invoked by the :! command.
FILES
- /hugs
- executable binary.
- directory containing support files.
WEB REFERENCES
- http://www.haskell.org/hugs/
- The Hugs home page.
- http://www.haskell.org/
- The Haskell home page, including the language definition, various mailing lists and much more.
SEE ALSO
Mark P. Jones et al. Hugs 98 User Manual, June 1999.
Hugs 98 User's Guide (distributed with Hugs).
Paul Hudak & Joseph H. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), May 1992.
S. Peyton Jones (editor). Haskell 98 Language and Libraries: The Revised Report. December 2002.
Manuel Chakravarty et al. Haskell 98 Foreign Function Interface 1.0, Addendum to the Haskell Report, September 2003.
AUTHOR
Hugs 98: Mark Jones and others, June 1999.
Manual page: Jonathan Bowen, modified by Gary Leavens, and then (with apologies to the original authors) by Mark Jones. Updated for Hugs 98 by Antti-Juhani Kaijanaho and Ross Paterson.