Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
cloogle.org
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Cloogle
cloogle.org
Commits
1398f43f
Verified
Commit
1398f43f
authored
Dec 14, 2018
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Update submodule for performance enhancement
parent
f11cbb7f
Pipeline
#17225
passed with stage
in 14 minutes and 18 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
3 additions
and
2 deletions
+3
-2
backend/Cloogle
backend/Cloogle
+1
-1
backend/CloogleServer.icl
backend/CloogleServer.icl
+2
-1
No files found.
Cloogle
@
956cbd5d
Compare
05998593
...
956cbd5d
Subproject commit
0599859319bd62db4b389a9acef9723192a733c
a
Subproject commit
956cbd5d421b19e2b251522304b4f72c3aa2505
a
backend/CloogleServer.icl
View file @
1398f43f
...
...
@@ -8,6 +8,7 @@ import StdList
import
StdMisc
import
StdOrdList
import
StdOverloaded
import
StdOverloadedList
import
StdString
import
StdTuple
...
...
@@ -238,7 +239,7 @@ handle (Just request=:{unify,name,page}) db w
#!
drop_n
=
fromJust
(
page
<|>
pure
0
)
*
MAX_RESULTS
#!
(
res
,
suggs
,
db
)
=
searchWithSuggestions
request
db
#!
suggs
=
if
(
isEmpty
suggs
)
Nothing
(
Just
suggs
)
#!
results
=
drop
drop_n
res
#!
results
=
[
r
\\
r
<|-
Drop
drop_n
res
]
#!
more
=
max
0
(
length
results
-
MAX_RESULTS
)
// Suggestions
#!
(
db
,
w
)
=
seqSt
...
...
Write
Preview
Markdown
is supported
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