Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Commits
9f12dee8
Commit
9f12dee8
authored
Jul 02, 2002
by
Diederik van Arkel
Browse files
avoid problem with strict lists for large input files
parent
29528135
Changes
3
Show whitespace changes
Inline
Side-by-side
Ed/EdLineText.icl
View file @
9f12dee8
...
...
@@ -70,7 +70,7 @@ textToStringsC { blocks }
stringsToText
::
(
StrictList
String
)
->
Text
stringsToText
lines
#
(_,
lines
)
=
annotWhole
lines
#
lines
=
annotWhole
lines
=
{
nrLines
=
slLength
lines
,
blocks
=
group
BlockSize
lines
}
...
...
Ed/syncol.dcl
View file @
9f12dee8
...
...
@@ -5,5 +5,5 @@ definition module syncol
import
StdString
import
StrictList
firstParse
::
!(
StrictList
String
)
->
(
Int
,
StrictList
(
Int
,
String
)
)
firstParse
::
!(
StrictList
String
)
->
StrictList
(
Int
,
String
)
quickParse
::
!
Int
!
Int
!(
StrictList
(
Int
,
String
))
->
(
Int
,
StrictList
(
Int
,
String
))
Ed/syncol.icl
View file @
9f12dee8
...
...
@@ -83,7 +83,17 @@ where
/*
firstParse: textlines -> zip initial comment nesting level & textlines
*/
firstParse
::
!(
StrictList
String
)
->
(
Int
,
StrictList
(
Int
,
String
))
firstParse
::
!(
StrictList
String
)
->
StrictList
(
Int
,
String
)
firstParse
lines
=
slFromList
(
fP
0
lines
)
where
fP
i
SNil
=
[]
fP
i
(
SCons
h
t
)
#!
j
=
parseLine
i
h
=
[
(
i
,
h
)
:
(
fP
j
t
)
]
/*
firstParse lines
= fP 0 lines
where
...
...
@@ -93,6 +103,7 @@ where
#! j = parseLine i h
# (k,r) = fP j t
= (k,SCons (i,h) r)
*/
/*
quickParse: (first modified line) (last modified line) textlines
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment