Code

Split records of TauT and RhoT#388

Code

Open

matil019 wants to merge 152 commits intoFrege:masterFrege/frege:masterfrom matil019:no-sum-rhotmatil019/frege:no-sum-rhotCopy head branch name to clipboard

+8,228-7,201

Commits

Commits on Oct 21, 2019

• Split constructors of DefinitionS to individual data types

  matil019

  committed
  c5fd565

• Add instance Alt Maybe

  Show description for f577108
  matil019

  committed
  f577108

• [norun] Change SymbolT.SymT to an independent data type

  Show description for c4dfb23
  matil019

  committed
  c4dfb23

• [nocompile] Change all of SymbolT constructors to independent types

  matil019

  committed
  73d651a

• Isolate all of SymbolT data constructors

  Show description for 504e178
  matil019

  committed
  504e178

• Add instance Nice for SymT, SymL, etc.

  matil019

  committed
  e9fd748

• Modify findV to return SymV, same for other Sym?s

  Show description for 1b872dc
  matil019

  committed
  1b872dc

• Change the return type of patLocal, mkLocal, vSym to SymV

  matil019

  committed
  7803c9e

• Remuve uses of unsafePartialView from frege.compiler.Kinds

  Show description for 5a0459a
  matil019

  committed
  5a0459a

• Reduce warnings on frege.tools.doc.Utilities

  Show description for f83552d
  matil019

  committed
  f83552d

• Remove uses of unsafePartialView from frege.compiler.passes.Imp

  Show description for 8c03d3f
  matil019

  committed
  8c03d3f

• Reduce uses of partial functions in frege.ide.Utilities

  matil019

  committed
  596b2e0

• Remove redundant cases in frege.compiler.gen.java.Common

  matil019

  committed
  a4cb129

• Change the return type of envConstructors to [SymD Global]

  matil019

  committed
  d9c176b

• Remove uses of partial functions in frege.compiler.passes.Instances

  Show description for d8ce200
  matil019

  committed
  d8ce200

• Remove some of partial functions in frege.compiler.Classes

  Show description for 6f2e5a4
  matil019

  committed
  6f2e5a4

• Remove a dead case in frege.compiler.gen.java.InstanceCode

  matil019

  committed
  efac3c0

• Remove a dead case in frege.compiler.gen.java.DataCode

  matil019

  committed
  727656c

• Remove some partial functions and dead cases in frege.c.g.j.VarCode

  matil019

  committed
  9caad72

• Remove partial functions in frege.compiler.gen.java.Match

  Show description for 81e2594
  matil019

  committed
  81e2594

• Change the return type of allourvars and allvars to [SymV Global]

  Show description for 56e7ac8
  matil019

  committed
  56e7ac8

• Change fundep to take SymV

  matil019

  committed
  fb417c4

• Change ccSym to take SymV

  matil019

  committed
  f0b8d1c

• Change the type of Global.locals to TreeMap Int (SymV Global)

  matil019

  committed
  8bef123

• Remove some partial functions in frege.compiler.passes.Transdef

  matil019

  committed
  7809062

• Add instance Ord for SymT, SymL, etc.

  matil019

  committed
  daf9a49

• Remove dead cases and partial functions from f.c.passes.LetUnroll

  matil019

  committed
  a316f7a

• Remove some partial functions and dead cases in frege.compiler.Typecheck

  matil019

  committed
  2c7fad5

• Remove partial functions in frege.compiler.GenMeta

  matil019

  committed
  81a68d2

• Remove unused imports

  matil019

  committed
  d1cbfc0

• Assume main is SymV in frege.compiler.passes.GenCode

  matil019

  committed
  03611c1

Commits on Oct 23, 2019

• [prototype] Make insertSym and updateSym polymorphic

  matil019

  committed
  4777ba6

• Add Prism

  Show description for e0d5f1e
  matil019

  committed
  e0d5f1e

• Add prisms for SymbolT

  Show description for f95bcb3
  matil019

  committed
  f95bcb3

• Introduce SymVal to constrain the return type of findVD

  Show description for cdcb6db
  matil019

  committed
  cdcb6db

• Modify Classes.implemented to take SymVal

  Show description for 86364a5
  matil019

  committed
  86364a5

• Remove a non-exhaustive case from passC.mkanno

  Show description for 63a8efc
  matil019

  committed
  63a8efc

• Remove unsafeToSymC from passC.methodcheck

  Show description for 43de55b
  matil019

  committed
  43de55b

• Remove a redundant pattern of tcInstMethod

  Show description for eaaae98
  matil019

  committed
  eaaae98

• Assume tcInstMethod takes either SymV or SymL

  Show description for a3f51fd
  matil019

  committed
  a3f51fd

Commits on Oct 24, 2019

• Change the type of SymI.env to SymMeth

  Show description for 037f1a8
  matil019

  committed
  037f1a8

• Change the return type of classMethodOfInstMethod to SymV

  Show description for 58b9af7
  matil019

  committed
  58b9af7

• Modify strictReturn to return SymVal

  Show description for e16d177
  matil019

  committed
  e16d177

• Add findMain, specialized to find the main function

  Show description for cab842a
  matil019

  committed
  cab842a

• Use SymVal in substInst

  matil019

  committed
  e31e3d2

• Use SymV in rHas

  matil019

  committed
  23933ec

• Modify passC.methodcheck to take SymMeth

  Show description for aaf425d
  matil019

  committed
  aaf425d

• Assume SymV in isEasy.Let

  Show description for 1fdcc0c
  matil019

  committed
  1fdcc0c

• Assume SymV in etaExpand.cleanVarType

  Show description for d698fae
  matil019

  committed
  d698fae

• Change the type of Global.genEnv to [SymV Global]

  Show description for 17905bd
  matil019

  committed
  17905bd

• Assume the return type of instTSym and instTauSym to be SymT

  Show description for e868594
  matil019

  committed
  e868594

• Modify methCode and related functions to take SymV

  Show description for c973f5c
  matil019

  committed
  c973f5c

• Modify wrapIRMethod to take SymVal

  Show description for 38021a1
  matil019

  committed
  38021a1

• Remove use of unsafePartialView in symWarning

  Show description for 379359c
  matil019

  committed
  379359c

• Modify arity to take SymVal

  matil019

  committed
  1d5d778

• Add a custom partial conversion SymbolT -> SymV in SymbolTable

  Show description for f3992b8
  matil019

  committed
  f3992b8

• Remove use of unsafePartialView in docWarningSym

  Show description for 599465c
  matil019

  committed
  599465c

Commits on Oct 25, 2019

• Remove uses of unsafePartialView from passes.Final

  Show description for 1f5afaf
  matil019

  committed
  1f5afaf

• Ignore missing SymbolT.env' in resolve3

  Show description for 59847a3
  matil019

  committed
  59847a3

• Ignore missing SymbolT.env' in enter1ClaDcl

  Show description for f3f0c3a
  matil019

  committed
  f3f0c3a

• Remove uses of unsafePartialView in Transdef

  Show description for 749d6cc
  matil019

  committed
  749d6cc

Commits on Oct 30, 2019

• Move a common part in SymbolTable to a new function

  matil019

  committed
  1a8fade

• Change the type of SymC.env to SymMeth

  Show description for 3ac3df8
  matil019

  committed
  3ac3df8

• Replace a partial function in InstanceCode with a new error message

  Show description for cdd5ba1
  matil019

  committed
  cdd5ba1

• View SymMeth as SymV in InstanceCode to reduce unsafePartialView

  matil019

  committed
  eba6356

• Treat non-SymV as non-existent in Transdef.ordInfix

  matil019

  committed
  5634a4f

• Remove a "may evaluate to false" warning in Classes.tcInstMethod

  Show description for 1df0181
  matil019

  committed
  1df0181

• Remove uses of unsafePartialView in Classes

  Show description for 61f2681
  matil019

  committed
  61f2681

• Remove an unused import in Final to avoid warnings

  matil019

  committed
  6a60400

• Remove uses of partial matches in VarCode

  Show description for c4c7736
  matil019

  committed
  c4c7736

• Add a custom partial function in InstanceCode

  Show description for 3b9cefb
  matil019

  committed
  3b9cefb

• Add a custom partial function in Global

  Show description for da7ebcf
  matil019

  committed
  da7ebcf

• Add an error message to the new error in SymbolTable

  Show description for 9effb28
  matil019

  committed
  9effb28

• Add a copy of unsafePartialView to MethodCall

  Show description for a9b0fa2
  matil019

  committed
  a9b0fa2

• Remove uses of partial matches in doc.Utility

  Show description for afca4ce
  matil019

  committed
  afca4ce

• Remove uses of partial functions in tools.Doc

  Show description for a42eca7
  matil019

  committed
  a42eca7

• Remove uses of partial matches in ide.Utilities

  Show description for e7908e5
  matil019

  committed
  e7908e5

• Change SymbolTable.InsUpd to protected

  Show description for e01d94c
  matil019

  committed
  e01d94c

• Make constructors of SymbolT, SymMeth and SymVal strict

  Show description for 4b83084
  matil019

  committed
  4b83084

• Clean unused imports

  Show description for e6f82dd
  matil019

  committed
  e6f82dd

• Replace 'view'ing lenses with simple getters

  Show description for 46e2e2f
  matil019

  committed
  46e2e2f

• Remove Prisms and use Traversals instead

  Show description for 750cc61
  matil019

  committed
  750cc61

• Replace 'view'ing lenses with simple getters for SymMeth and SymVal

  Show description for 98d630e
  matil019

  committed
  98d630e

• Change the type of allClasses to StG [SymC Global]

  Show description for 2709dab
  matil019

  committed
  2709dab

Commits on Oct 31, 2019

• Remove Utilities.symVD

  Show description for d39551c
  matil019

  committed
  d39551c

• Modify Desugar.updVis not to throw an error

  Show description for a501df7
  matil019

  committed
  a501df7

• Change unAlias.aliases to return [SymA Global]

  matil019

  committed
  cfa58ac

• Change isHigherKindedClass to take SymC

  matil019

  committed
  1ac6dad

• Change DataCode.subDecls to take SymT

  matil019

  committed
  389b789

• Add instance Ord for SymVal and SymMeth

  matil019

  committed
  49e0ca1

• Change symInfo to take SymVal

  Show description for 8ec97a2
  matil019

  committed
  8ec97a2

• Remove redundant parameter from match.matchEnum

  matil019

  committed
  1952d83

• Restrict parameter type of dataCode, classCode and instanceCode

  matil019

  committed
  d39d409

• Change transDatDcl.newtCheck to take SymT

  matil019

  committed
  b2fec3f

• Clean up the code

  Show description for 11bdb3f
  matil019

  committed
  11bdb3f

Commits on Nov 7, 2019

• Add type signatures, doc comments and remove unused parameters

  matil019

  committed
  a6f55d1

• Split TauT.TVar to its own data type

  Show description for 2ed8324
  matil019

  committed
  2ed8324

• Change SigmaT.bound :: [TauT s] to :: [TVar s]

  matil019

  committed
  15be16c

• Rename f.c.common.Types.rnTVar to rnTau and add a new rnTVar

  Show description for eecca00
  matil019

  committed
  eecca00

• Change @type SigmaEnv a@ to @treemap String (TVar a)@

  Show description for ea088f2
  matil019

  committed
  ea088f2

• Add TVar.wildTau

  Show description for 8edcc70
  matil019

  committed
  8edcc70

• Change transTVar to take and return TVar

  matil019

  committed
  f331d23

• Change f.c.passes.Imp.mvar :: Tau to :: TVar a

  matil019

  committed
  8ca8b22

• Change newMeta, newFlexiTyVar and newRigidTyVar to take @tvar QName@

  matil019

  committed
  26aa9d5

• Change the types of syntaxes, dvars and tyvar

  Show description for a727a3b
  matil019

  committed
  a727a3b

• Change wildReturn to return [TVar QName]

  matil019

  committed
  6cdc139

• Change SymA.vars :: [Tau] to [TVar QName]

  matil019

  committed
  2070613

• Change TypDcl.vars :: [TauS] to [TVar SName]

  matil019

  committed
  138dafe

• Change ClaDcl.var :: TauS to TVar SName

  matil019

  committed
  63ca6f7

• Change DatDcl.vars :: [TauS] to [TVar SName]

  matil019

  committed
  30769b4

• Change JavDcl.vars :: [TauS] to [TVar SName]

  matil019

  committed
  0b21074

• Change SymT.gargs :: [Tau] to [TVar QName]

  matil019

  committed
  3617d95

• Change SymC.tau :: Tau to clvar :: TVar QName

  matil019

  committed
  12aeda0

• Add unsafePartialViewMsg

  matil019

  committed
  6fa5679

• Remove a use of partial function in grammar.Frege

  Show description for db8ef0b
  matil019

  committed
  db8ef0b

• Remove unreachable case of classCode

  matil019

  committed
  3c72117

• Add transTVar and redefine transBound as an alias of it

  Show description for 732f52e
  matil019

  committed
  732f52e

• Change JavDcl.gargs :: Maybe [TauS] to Maybe [TVar SName]

  matil019

  committed
  1787349

• Add substTVar

  Show description for f6d52e1
  matil019

  committed
  f6d52e1

• Remove uses of the partial functions (local changes only)

  Show description for 7a58416
  matil019

  committed
  7a58416

• Change the grammar 'gargs' to optionally take [TVar] instead of [TauS]

  Show description for 33e5a4f
  matil019

  committed
  33e5a4f

• Change NatDcl.gargs :: Maybe [TauS] to Maybe [TVar SName]

  Show description for dff8f59
  matil019

  committed
  dff8f59

• Change SymV.gargs :: [Tau] to [TVar QName]

  Show description for 50c7630
  matil019

  committed
  50c7630

• Replace uses of unsafePartialView in Imp with a custom function nTVar

  Show description for dd8647c
  matil019

  committed
  dd8647c

• Remove "unsafe" functions which were meant to be used temporarily

  Show description for 9a4e5fc
  matil019

  committed
  9a4e5fc

• Add TauT.traverseApp, a generalization of traversal over TauT

  matil019

  committed
  89f69c8

Commits on Nov 8, 2019

• Add TauT.headTCon

  matil019

  committed
  fe86bba

• Split TauT.TCon to its own data type

  matil019

  committed
  8c7522a

• Change unused behavior of Methods.matches

  Show description for 1589f7a
  matil019

  committed
  1589f7a

• Change Typecheck.tc to return TCon QName

  Show description for 500627e
  matil019

  committed
  500627e

• Add tnameInt, tnameLong, etc. to remove uses of partial functions

  matil019

  committed
  a0f0791

• Remove "unsafe" functions which were meant to be used temporarily

  Show description for 4279cb5
  matil019

  committed
  4279cb5

• Remove TauT.traverseApp, traverseTVar and headTCon

  Show description for f688cda
  matil019

  committed
  f688cda

Commits on Nov 12, 2019

• Split constructors of RhoT to individual data types

  Show description for 1e77d7f
  matil019

  committed
  1e77d7f

• Change tauRho to return RhoTau

  Show description for 1cc9149
  matil019

  committed
  1cc9149

• Remove Global from unifyRho's parameters

  Show description for 57c7259
  matil019

  committed
  57c7259

• Remove Global from unifySigma's parameters

  Show description for 73e2699
  matil019

  committed
  73e2699

• Remove Global from sigmaInst's parameters

  Show description for ce72c8c
  matil019

  committed
  ce72c8c

• Extract common local function as zapCtx

  matil019

  committed
  2db83f7

Commits on Nov 13, 2019

• Remove uses of the partial functions (local changes only)

  Show description for 47e22b8
  matil019

  committed
  47e22b8

• Remove a use of unsafe function in match.matchNew

  Show description for 41364a5
  matil019

  committed
  41364a5

• Remove partial functions meant for temporary use

  matil019

  committed
  fe293ab

• Change tauRho to return @maybe (RhoTau QName)@

  Show description for 7702767
  matil019

  committed
  7702767

• Add instance Nice (RhoTau t) and (RhoFun t)

  matil019

  committed
  7b31ce4

• Change instanceHead to take and return RhoTau

  Show description for cd703c5
  matil019

  committed
  cd703c5

• Add symItau to remove the partial case in instFun and docSym

  Show description for 14851f2
  matil019

  committed
  14851f2

• Remove unneeded TODO comments

  matil019

  committed
  bf15e66

• Remove uses of unnecessary lenses

  Show description for 8902a85
  matil019

  committed
  8902a85

• Reduce another use of lenses

  matil019

  committed
  094b507

• Rewrite substRigidRho not to use the record update syntax

  Show description for cce1b07
  matil019

  committed
  cce1b07

• Move the implementation of instance RhoT to its constructors

  Show description for ec9b85a
  matil019

  committed
  ec9b85a

• Clean up the code

  Show description for 0d51a6c
  matil019

  committed
  0d51a6c