This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[84 of 84] Compiling MAlonzo.Code.ST ( /home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.hs, /home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.o ) | |
Compilation error: | |
/home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.hs:33:11: error: | |
• Cannot instantiate unification variable ‘a0’ | |
with a type involving foralls: | |
() -> (forall xs. () -> T2 xs xA0) -> xA0 | |
GHC doesn't yet support impredicative polymorphism | |
• In the first argument of ‘coe’, namely ‘d8’ | |
In the expression: coe d8 erased (\ v0 -> coe du18) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2018-03-02T22:01:26.661177761+01:00 TRACE xrl::protocol::codec - >>> {"id":1,"method":"new_view","params":{"file_path":"src/main.rs"}} | |
2018-03-02T22:01:26.661193235+01:00 TRACE xrl::protocol::codec - >>> {"method":"client_started","params":{"config_dir":"/home/jorge/.config/xi/"}} | |
2018-03-02T22:01:26.661198763+01:00 TRACE xrl::protocol::codec - >>> {"method":"set_theme","params":{"theme_name":"base16-eighties.dark"}} | |
2018-03-02T22:01:26.662785070+01:00 TRACE xrl::protocol::codec - <<< {"id":1,"result":"view-id-1"} | |
2018-03-02T22:01:26.662923285+01:00 TRACE xrl::protocol::codec - >>> {"method":"edit","params":{"method":"scroll","params":[0,0],"view_id":"view-id-1"}} | |
2018-03-02T22:01:26.662956814+01:00 TRACE xrl::protocol::codec - <<< {"method":"available_themes","params":{"themes":["InspiredGitHub","Solarized (dark)","Solarized (light)","base16-eighties.dark","base16-mocha.dark","base16-ocean.dark","base16-ocean.light"]}} | |
2018-03-02T22:01:26.663222086+01:00 TRACE xrl::protocol::codec - <<< {"method":"theme_chan |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[package] | |
name = "tmprs" | |
version = "0.1.0" | |
[dependencies] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package main | |
import ( | |
"fmt" | |
"os" | |
) | |
func readFile(path string) (string, error) { | |
file, err := os.Open(path) | |
if err != nil { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
""" | |
getimg.py | |
Gets the current image of the day from NASA and sets it as the | |
background in Gnome. The summary / description text is written | |
to the image. | |
Requires: | |
PIL (apt-get install python-imaging or pip install PIL) |