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
77acdbbf
Verified
Commit
77acdbbf
authored
Dec 04, 2018
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Make work on the master compiler
parent
58381750
Pipeline
#16909
passed with stage
in 18 minutes and 32 seconds
Changes
4
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
10 additions
and
10 deletions
+10
-10
backend/Cloogle
backend/Cloogle
+1
-1
backend/CloogleServer.icl
backend/CloogleServer.icl
+4
-5
backend/build.sh
backend/build.sh
+1
-1
backend/builddb.icl
backend/builddb.icl
+4
-3
No files found.
Cloogle
@
b5525a59
Compare
003941f8
...
b5525a59
Subproject commit
003941f85601dad7c64bd975b04281571307c424
Subproject commit
b5525a596368e5c56dab54b011c5ef486275096f
backend/CloogleServer.icl
View file @
77acdbbf
...
...
@@ -18,10 +18,8 @@ import Clean.Types.Parse
import
Clean
.
Types
.
Unify
import
Clean
.
Types
.
Util
import
Control
.
Applicative
import
Control
.
Monad
=>
qualified
join
import
Control
.
Monad
import
Data
.
Error
import
qualified
Data
.
Foldable
as
Foldable
from
Data
.
Foldable
import
class
Foldable
from
Data
.
Func
import
$,
hyperstrict
,
instance
Functor
((->)
r
),
mapSt
,
seqSt
,
on
,
`
on`
import
Data
.
Functor
from
Data
.
List
import
permutations
...
...
@@ -33,7 +31,8 @@ import System.File
import
System
.
Options
import
System
.
Process
import
System
.
Time
from
Text
import
class
Text
(
concat
,
join
,
split
,
startsWith
,
toLowerCase
),
instance
Text
String
,
<+
import
qualified
Text
from
Text
import
class
Text
(
concat
,
split
,
startsWith
,
toLowerCase
),
instance
Text
String
,
<+
import
Text
.
GenJSON
import
Cloogle
.
API
...
...
@@ -171,7 +170,7 @@ Start w
#
opts
=
parseOptions
optionDescription
args
zero
|
isError
opts
#
(
io
,
w
)
=
stdio
w
#
io
=
io
<<<
join
"
\n
"
(
fromError
opts
)
<<<
"
\n
"
#
io
=
io
<<<
'
Text
'.
join
"
\n
"
(
fromError
opts
)
<<<
"
\n
"
#
(_,
w
)
=
fclose
io
w
=
w
#
opts
=
fromOk
opts
...
...
backend/build.sh
View file @
77acdbbf
#!/bin/bash
set
-ev
install_clean.sh
'base lib-platform lib-tcpip'
2018-1
1-21
install_clean.sh
'base lib-platform lib-tcpip'
2018-1
2-05
PACKAGES
=
"patch jq unzip z3"
apt-get update
-qq
...
...
backend/builddb.icl
View file @
77acdbbf
...
...
@@ -10,7 +10,7 @@ import StdString
import
StdTuple
import
Clean
.
Types
import
Control
.
Monad
=>
qualified
join
import
Control
.
Monad
import
Data
.
Either
import
Data
.
Error
from
Data
.
Func
import
$,
hyperstrict
,
mapSt
...
...
@@ -20,7 +20,8 @@ import Data.Maybe
import
System
.
CommandLine
import
System
.
File
import
System
.
Options
from
Text
import
class
Text
(
join
,
startsWith
),
instance
Text
String
import
qualified
Text
from
Text
import
class
Text
,
instance
Text
String
import
Text
.
GenJSON
import
Regex
.
Match
...
...
@@ -83,7 +84,7 @@ Start w
#
([
prog
:
args
],
w
)
=
getCommandLine
w
#
opts
=
parseOptions
optionDescription
args
zero
|
isError
opts
#
err
=
stderr
<<<
join
"
\n
"
(
fromError
opts
)
<<<
"
\n
"
#
err
=
stderr
<<<
'
Text
'.
join
"
\n
"
(
fromError
opts
)
<<<
"
\n
"
#
(_,
w
)
=
fclose
err
w
=
w
#
opts
=
fromOk
opts
...
...
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