| ### Versions | |
| casper$ patsopt --version | |
| Hello from ATS2(ATS/Postiats)! | |
| ATS/Postiats version 0.0.6 with Copyright (c) 2011-2014 Hongwei Xi | |
| casper$ ajhc --version | |
| ajhc 0.8.0.11 (e601dfc26abce79686e41c2609ed5beb7fd7f4d5) | |
| compiled by ghc-7.6 on a x86_64 running linux | |
| casper$ idris --version | |
| Idris version 0.9.11.2 |
| char jhc_c_compile[] = "gcc metasepi/sys/hsbuild/rts/profile.c metasepi/sys/hsbuild/rts/rts_support.c metasepi/sys/hsbuild/rts/gc_none.c metasepi/sys/hsbuild/rts/jhc_rts.c metasepi/sys/hsbuild/lib/lib_cbits.c metasepi/sys/hsbuild/rts/gc_jgc.c metasepi/sys/hsbuild/rts/stableptr.c metasepi/sys/hsbuild/rts/conc.c -Imetasepi/sys/hsbuild/cbits -Imetasepi/sys/hsbuild metasepi/sys/hsbuild/hsmain.c -o metasepi/sys/hsbuild/hsmain.c '-std=gnu99' -D_GNU_SOURCE '-falign-functions=4' -ffast-math -Wextra -Wall -Wno-unused-parameter -fno-strict-aliasing -Wno-unused-variable -DNDEBUG -O3 '-D_JHC_GC=_JHC_GC_JGC' '-D_JHC_CONC=_JHC_CONC_CUSTOM'"; | |
| char jhc_command[] = "ajhc -fffi -fcustomthread --include=metasepi/sys/hssrc --tdir=metasepi/sys/hsbuild -C -o metasepi/sys/hsbuild/hsmain.c metasepi/sys/hssrc/Main.hs"; | |
| char jhc_version[] = "ajhc 0.8.0.11 (e601dfc26abce79686e41c2609ed5beb7fd7f4d5)"; | |
| #include "jhc_rts_header.h" | |
| struct s_caches_pub { | |
| struct s_cache *cFDev_AudioIf_p__StreamFilterList__req__size$d2; | |
| struct s_cach |
| casper$ cat main.c | |
| #include <stdio.h> | |
| void main() | |
| { | |
| printf("hoge\n"); | |
| } | |
| casper$ gcc -g main.c | |
| casper$ objdump -S a.out|lv |
| Sorry to disturb your time. Please help me to fill in this questinonnaire. This questionnaire to help my final assignment. This questionnaire is for Japanese. | |
| 日本人、もしくは日本在住の方々にお願いです。 卒業論文の書いている学生のアンケートにご協力をおねがいいたします。 | |
| こちらは未婚女性用です。 Questionnaire just for female (unmarried yet): https://docs.google.com/forms/d/115Y3BbEO0qrzFEXTBP6FZEFEZ89IXMWmKVHwXLMtfmQ/viewform?usp=send_form | |
| こちらは未婚男性用です。 Questionnaire just for male (unmarried yet): https://docs.google.com/forms/d/1HFMKH526Ry5uUvksoKIQ4U_02L74c_kDK1U4oqehILY/viewform?usp=send_form | |
| 何卒ご協力願います。 thankyou for your time... hontou ni arigatou gozaimashita |
| ### Keybase proof | |
| I hereby claim: | |
| * I am master-q on github. | |
| * I am masterq (https://keybase.io/masterq) on keybase. | |
| * I have a public key whose fingerprint is DF60 3D3A 3C15 1B2C DF19 52F4 18DD 4D72 F2CB CA06 | |
| To claim this, I am signing this object: |
| # 1 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp" | |
| # 1 "<command-line>" | |
| # 1 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp" | |
| # 26 "/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp" | |
| # 1 "/usr/lib/avr/include/stdlib.h" 1 3 | |
| # 47 "/usr/lib/avr/include/stdlib.h" 3 | |
| # 1 "/usr/lib/gcc/avr/4.8.1/include/stddef.h" 1 3 4 | |
| # 212 "/usr/lib/gcc/avr/4.8.1/include/stddef.h" 3 4 | |
| typedef unsigned int size_t; | |
| # 48 "/usr/lib/avr/include/stdlib.h" 2 3 |
| (* コンパイルNG: let valでも線形型が消費されてしまう *) | |
| #include "share/atspre_staload.hats" | |
| implement main0 () = { | |
| val l1 = list_vt_make_pair<int> (1, 2) | |
| val l2 = l1 | |
| val () = let val l3 = l2 in println! l3 end | |
| val () = free l2 | |
| } | |
| (* |
| main.elf: file format elf32-avr | |
| Sections: | |
| Idx Name Size VMA LMA File off Algn | |
| 0 .data 000001c0 00800100 00000b8c 00000c20 2**0 | |
| CONTENTS, ALLOC, LOAD, DATA | |
| 1 .text 00000b8c 00000000 00000000 00000094 2**1 | |
| CONTENTS, ALLOC, LOAD, READONLY, CODE | |
| 2 .bss 00000010 008002c0 008002c0 00000de0 2**0 | |
| ALLOC |
| main.elf: file format elf32-avr | |
| Sections: | |
| Idx Name Size VMA LMA File off Algn | |
| 0 .data 000001c0 00800200 0000179c 00001830 2**0 | |
| CONTENTS, ALLOC, LOAD, DATA | |
| 1 .text 0000179c 00000000 00000000 00000094 2**1 | |
| CONTENTS, ALLOC, LOAD, READONLY, CODE | |
| 2 .bss 00000014 008003c0 008003c0 000019f0 2**0 |
けっきょく、トントンですね。。。FRAMによる省エネとはなんだったのか。。。
