Commit bf0d9f26 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Hierarchical FlatCurry modules added

parent 572cf59e
PAKCS: Release Notes
====================
Release notes for PAKCS Version 1.14.0 (October 20, 2015)
Release notes for PAKCS Version 1.14.0 (October 24, 2015)
---------------------------------------------------------
Changes to version 1.13.0:
......@@ -14,6 +14,55 @@ Changes to version 1.13.0:
one variable with a number or character.
* Prelude: operations `(===)` and `(&&>)` removed
* Libraries `meta/AbstractCurry...` removed
* Hierarchical libraries for FlatCurry added and extended:
in order to to compatible with future versions, the following
imports should be adapted in programs working with AbstractCurry:
- replace `import FlatCurry` by
import FlatCurry.Types
import FlatCurry.Files
- replace `import FlatCurryGoodies` by
import FlatCurry.Goodies
- replace `import FlatCurryPretty` by
import FlatCurry.Pretty
- replace `import FlatCurryRead` by
import FlatCurry.Read
- replace `import FlatCurryShow` by
import FlatCurry.Show
- replace `import FlatCurryXML` by
import FlatCurry.XML
- replace `import CompactFlatCurry` by
import FlatCurry.Compact
- replace `import AnnotatedFlatCurry` by
import FlatCurry.Annotated.Types
- replace `import AnnotatedFlatGoodies` by
import FlatCurry.Annotated.Select
- replace `import AnnotatedFlatCurryPretty` by
import FlatCurry.Annotated.Pretty
- replace `import FlexRigid` by
import FlatCurry.FlexRigid
Release notes for PAKCS Version 1.13.1 (October 2, 2015)
......
......@@ -49,8 +49,7 @@ show_term('VAR',_,S,E) :-
show_term(T,Q,S,E) :-
atom(T), !,
atom2String(T,ST),
(Q=qualified -> ShowT=ST
; char_int(Dot,46), removeQualifier(ST,Dot,ShowT)),
(Q=qualified -> ShowT=ST ; removeQualifier(ST,ShowT)),
(isId(T) -> diffList(ShowT,S,E)
; % enclose in parentheses:
char_int(Op,40), char_int(Cl,41),
......@@ -159,14 +158,21 @@ isShowableArg('Ports.internalPort'(_,SNr,_,_)) :-
isShowableArg(_).
% remove module qualifier from internal name:
removeQualifier(N,Dot,UT) :- removeQualifier(N,Dot,N,UT).
removeQualifier([],_,N,N). % no qualifier in name, keep original name
removeQualifier(N,UT) :- char_int(Dot,46), removeQualifier(N,Dot,N,UT).
removeQualifier(N,Dot,UT) :-
startWithModId(N)
-> removeQualifier(N,Dot,N,UT)
; UT=N.
removeQualifier([],_,N,N). % no qualifier in name, keep original name
removeQualifier([C|Cs],Dot,N,UN) :-
C=Dot
-> removeQualifier(Cs,Dot,Cs,UN)
-> removeQualifier(Cs,Dot,UN)
; (isModIdChar(C) -> removeQualifier(Cs,Dot,N,UN)
; UN=Cs).
startWithModId([C|_]) :- isModIdChar(C).
isModIdChar(C) :- char_int(C,N),
(65=<N, N=<90 ; 97=<N, N=<122 ; 48=<N, N=<57 ; N=95).
......
......@@ -5,7 +5,7 @@ PAKCS=../../bin/pakcs
.PHONY: pdf
pdf : manual.pdf
manual.pdf: $(wildcard *.tex) markdown_syntax.tex lib/LAST
manual.pdf: $(wildcard *.tex lib/*.tex) markdown_syntax.tex
pdflatex manual
bibtex manual
pdflatex manual
......@@ -36,9 +36,6 @@ markdown_syntax.tex: markdown_syntax.txt
../RELNOTES.html: ../../RELNOTES.txt
$(PAKCS) :l Markdown :eval 'readFile "$<" >>= writeFile "$@" . markdownText2CompleteHTML "PAKCS Release Notes"' :quit
../../lib/TEXDOC/LAST:
$(MAKE) libdoc
# generate documentation for all libraries
.PHONY: libdoc
libdoc:
......
lib-trunk @ 92839367
Subproject commit 62be038cee7370cecc614883e0b5710d14126569
Subproject commit 92839367f10748883d00f34f0b83f734b727a637
......@@ -9,8 +9,9 @@
import List(intersperse)
import System
import FlatCurry
import CompactFlatCurry
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Compact
-- Check arguments and call main function:
main = do
......
......@@ -8,8 +8,9 @@
--- @version January 2006
------------------------------------------------------------------------
import FlatCurry
import FlatCurryRead
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Read
import Linearity
import Dependency
import FileGoodies
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment