# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1575254748 -32400
# Node ID 83aadf17d3d09cee378924a3e28cbb9a3532889f
# Parent  f3ebb813d0bfaf544f67e1f0d8aa7ae440bee1b4
use .dg files preferentially than .h

diff -r f3ebb813d0bf -r 83aadf17d3d0 src/gearsTools/lib/Gears/Context.pm
--- a/src/gearsTools/lib/Gears/Context.pm	Mon Dec 02 11:25:51 2019 +0900
+++ b/src/gearsTools/lib/Gears/Context.pm	Mon Dec 02 11:45:48 2019 +0900
@@ -193,9 +193,13 @@
   my $header_paths = Gears::Util->find_headers_path($search_bash_path);
   map {
     /(\w+)\.h/;
-    my $header_tile = $1;
-    if (exists $res{$header_tile}){
-      $res{$header_tile} = $_;
+    my $header_file = $1;
+    if (exists $res{$header_file}) {
+      if ($res{$header_file} =~ /^\d+$/){
+        $res{$header_file} = $_;
+      } elsif (($_ =~ /\.dg$/) && ($res{$header_file} =~ /\.h$/)) {
+        $res{$header_file} = $_;
+      }
     }
   } sort @$header_paths;
   return \%res;
diff -r f3ebb813d0bf -r 83aadf17d3d0 src/interface/file.dg
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/interface/file.dg	Mon Dec 02 11:45:48 2019 +0900
@@ -0,0 +1,9 @@
+typedef struct file <Impl> {
+    enum { FD_NONE, FD_PIPE, FD_INODE } type;
+    int          ref;   // reference count
+    char         readable;
+    char         writable;
+    struct pipe  *pipe;
+    struct inode *ip;
+    uint         off;
+} file;