Restructing things.

I backed out the stack package stuff. Lets get a protype running, then make it a stack package. I actually think that's eaiser, because it will infer all of the depends.
heades · Apr 5, 2017 · 7f34a7c · 7f34a7c
1 parent 5e10d17
commit 7f34a7c
Show file tree

Hide file tree

Showing 27 changed files with 12 additions and 1,333 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+\\.\\#.*
diff --git a/Source/Interface.hs → Source/ALL/Languages/FILL/Interface.hs b/Source/Interface.hs → Source/ALL/Languages/FILL/Interface.hs
@@ -2,11 +2,11 @@
 -- Haskell front end to the Agda back end.  Both sides must
 -- implement these data types.
 
-module Interface (ITerm(..),
-                  IPattern(..)) where
-
-import TypeSyntax
+module Languages.FILL.Interface (ITerm(..),
+                                 IPattern(..)) where
 
+import Languages.FILL.TypeSyntax
+
 data ITerm = Var String
            | Triv
            | Void
@@ -16,11 +16,10 @@ data ITerm = Var String
            | Let ITerm Type IPattern ITerm    
         deriving Show
 
-data IPattern = 
-        PTriv                        |
-        Block                       |
-        PVar String                  |
-        PTensr  IPattern IPattern   |
-        PPar    IPattern IPattern   
+data IPattern = PTriv
+              | Block
+              | PVar String
+              | PTensr  IPattern IPattern
+              | PPar    IPattern IPattern   
         deriving Show
 
diff --git a/Source/Parser.hs → Source/ALL/Languages/FILL/Parser.hs b/Source/Parser.hs → Source/ALL/Languages/FILL/Parser.hs
diff --git a/Source/Repl.hs → Source/ALL/Languages/FILL/Repl.hs b/Source/Repl.hs → Source/ALL/Languages/FILL/Repl.hs
diff --git a/Source/Tokens.x → Source/ALL/Languages/FILL/Tokens.x b/Source/Tokens.x → Source/ALL/Languages/FILL/Tokens.x
diff --git a/Source/TypeSyntax.hs → Source/ALL/Languages/FILL/TypeSyntax.hs b/Source/TypeSyntax.hs → Source/ALL/Languages/FILL/TypeSyntax.hs
@@ -5,7 +5,7 @@ LANGUAGE
   MultiParamTypeClasses, 
   UndecidableInstances 
 #-}
-module TypeSyntax where
+module Languages.FILL.TypeSyntax where
 
 data Type = FillMeIn         
  deriving Show
diff --git a/Source/Names.hs → Source/ALL/Languages/Names.hs b/Source/Names.hs → Source/ALL/Languages/Names.hs
diff --git a/Source/TypeErrors.hs → Source/ALL/Languages/TypeErrors.hs b/Source/TypeErrors.hs → Source/ALL/Languages/TypeErrors.hs
diff --git a/Source/Main.hs → Source/ALL/Main.hs b/Source/Main.hs → Source/ALL/Main.hs
diff --git a/Source/Queue.hs → Source/ALL/Utils/Queue.hs b/Source/Queue.hs → Source/ALL/Utils/Queue.hs
@@ -8,7 +8,7 @@
 -- combinator over queues to make complex function definitions easier.  --
 --------------------------------------------------------------------------
 
-module Queue where
+module Utils.Queue where
 
 data Queue a = Queue [a] [a]
 

diff --git a/Source/Agda-LLS.cabal b/Source/Agda-LLS.cabal
diff --git a/Source/Agda-LLS/Agda-LLS.cabal b/Source/Agda-LLS/Agda-LLS.cabal
diff --git a/Source/Agda-LLS/LICENSE b/Source/Agda-LLS/LICENSE
diff --git a/Source/Agda-LLS/Setup.hs b/Source/Agda-LLS/Setup.hs
diff --git a/Source/Agda-LLS/app/Main.hs b/Source/Agda-LLS/app/Main.hs
diff --git a/Source/Agda-LLS/src/Lib.hs b/Source/Agda-LLS/src/Lib.hs
diff --git a/Source/Agda-LLS/stack.yaml b/Source/Agda-LLS/stack.yaml
diff --git a/Source/Agda-LLS/test/Spec.hs b/Source/Agda-LLS/test/Spec.hs
diff --git a/Source/ChangeLog.md b/Source/ChangeLog.md
diff --git a/Source/Eval.hs b/Source/Eval.hs
diff --git a/Source/LICENSE b/Source/LICENSE